From 7a7c7d9c2fd199fcf01901c723b651405230eaa3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Axel=20D=C3=B6rfler?= <axeld@pinc-software.de>
Date: Mon, 10 May 2004 13:29:47 +0000
Subject: [PATCH] Added current device manager built-in modules - the device
 manager itself will probably be available as public kernel API as well (or
 rather, only).

git-svn-id: file:///srv/svn/repos/haiku/trunk/current@7492 a95241bf-73f2-0310-859d-f6bbb57e9c96
---
 src/kernel/core/module.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/kernel/core/module.c b/src/kernel/core/module.c
index f3f925a0dd..a19be78c58 100644
--- a/src/kernel/core/module.c
+++ b/src/kernel/core/module.c
@@ -25,7 +25,12 @@
  *	modules that can't be loaded from disk.
  */
 
+extern module_info gDeviceManagerModule;
+extern module_info gDeviceRootModule;
+
 static module_info *sBuiltInModules[] = {
+	&gDeviceManagerModule,
+	&gDeviceRootModule,
 	NULL
 };