From e67016ca0874ab4c5ed6bdbcf9b64f5a2d93be95 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Mon, 2 Sep 2013 13:37:55 +0200
Subject: [PATCH] hw: kernel configuration in dedicated header

ref #528
---
 base-hw/src/core/kernel/configuration.h | 30 +++++++++++++++++++++++++
 base-hw/src/core/kernel/thread.h        | 12 +---------
 2 files changed, 31 insertions(+), 11 deletions(-)
 create mode 100644 base-hw/src/core/kernel/configuration.h

diff --git a/base-hw/src/core/kernel/configuration.h b/base-hw/src/core/kernel/configuration.h
new file mode 100644
index 000000000..3d12837b4
--- /dev/null
+++ b/base-hw/src/core/kernel/configuration.h
@@ -0,0 +1,30 @@
+/*
+ * \brief   Static kernel configuration
+ * \author  Martin Stein
+ * \date    2012-11-30
+ */
+
+/*
+ * Copyright (C) 2012-2013 Genode Labs GmbH
+ *
+ * This file is part of the Genode OS framework, which is distributed
+ * under the terms of the GNU General Public License version 2.
+ */
+
+#ifndef _KERNEL__CONFIGURATION_H_
+#define _KERNEL__CONFIGURATION_H_
+
+namespace Kernel
+{
+	enum {
+		DEFAULT_STACK_SIZE   = 1024 * 1024,
+		USER_LAP_TIME_MS     = 100,
+		MAX_PDS              = 256,
+		MAX_THREADS          = 256,
+		MAX_SIGNAL_RECEIVERS = 256,
+		MAX_SIGNAL_CONTEXTS  = 256,
+		MAX_VMS              = 4,
+	};
+}
+
+#endif /* _KERNEL__CONFIGURATION_H_ */
diff --git a/base-hw/src/core/kernel/thread.h b/base-hw/src/core/kernel/thread.h
index e239a9c71..0ca7ba15d 100644
--- a/base-hw/src/core/kernel/thread.h
+++ b/base-hw/src/core/kernel/thread.h
@@ -24,6 +24,7 @@
 #include <pic.h>
 #include <timer.h>
 #include <assert.h>
+#include <kernel/configuration.h>
 
 /* base-hw includes */
 #include <singleton.h>
@@ -46,17 +47,6 @@ namespace Kernel
 	template <typename T> class Avl_node : public Genode::Avl_node<T> { };
 	template <typename T> class Fifo     : public Genode::Fifo<T> { };
 
-	/* kernel configuration */
-	enum {
-		DEFAULT_STACK_SIZE = 1*1024*1024,
-		USER_LAP_TIME_MS = 100,
-		MAX_PDS = 256,
-		MAX_THREADS = 256,
-		MAX_SIGNAL_RECEIVERS = 256,
-		MAX_SIGNAL_CONTEXTS = 256,
-		MAX_VMS = 4,
-	};
-
 	/**
 	 * Map unique sortable IDs to object pointers
 	 *