diff --git a/base-hw/src/core/kernel/configuration.h b/base-hw/src/core/kernel/configuration.h
new file mode 100644
index 0000000000..3d12837b43
--- /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 e239a9c716..0ca7ba15dd 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
 	 *