From 9bd10a87c7ae67b7e726964e83784b42cde0a80e 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:28:21 +0000
Subject: [PATCH] The device manager is now initialized as well.

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

diff --git a/src/kernel/core/main.c b/src/kernel/core/main.c
index 765967c9c5..25220d3536 100644
--- a/src/kernel/core/main.c
+++ b/src/kernel/core/main.c
@@ -31,6 +31,7 @@
 #include <kmodule.h>
 #include <int.h>
 #include <team.h>
+#include <kdevice_manager.h>
 #include <real_time_clock.h>
 #include <kernel_daemon.h>
 
@@ -154,6 +155,9 @@ main2(void *unused)
 	TRACE(("Init modules\n"));
 	module_init(&ka);
 
+	TRACE(("Init Device Manager\n"));
+	device_manager_init(&ka);
+
 	// ToDo: device manager starts here, bus_init()/dev_init() won't be necessary anymore,
 	//	but instead, the hardware and drivers are rescanned then.