Changeset 4c7257b in mainline for kernel/arch/ia32/src/ia32.c

Timestamp:

2009-02-28T18:55:38Z (16 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

bc18d63

Parents:

c43b1db2

Message:

Do not set sysinfo for uspace drivers directly in the kernel drivers.

File:

• kernel/arch/ia32/src/ia32.c (modified) (2 diffs)

kernel/arch/ia32/src/ia32.c

@@ -63 +63 @@
 #include <console/console.h>
 #include <ddi/device.h>
+#include <sysinfo/sysinfo.h>
 
 #ifdef CONFIG_SMP
@@ -125 +126 @@
 void arch_post_smp_init(void)
 {
-        devno_t kbd = device_assign_devno();
+        devno_t devno = device_assign_devno();
         /* keyboard controller */
-        (void) i8042_init((i8042_t *) I8042_BASE, kbd, IRQ_KBD);
+        (void) i8042_init((i8042_t *) I8042_BASE, devno, IRQ_KBD);
+
+        /*
+         * This is the necessary evil until the userspace driver is entirely
+         * self-sufficient.
+         */
+        sysinfo_set_item_val("kbd", NULL, true);
+        sysinfo_set_item_val("kbd.devno", NULL, devno);
+        sysinfo_set_item_val("kbd.inr", NULL, IRQ_KBD);
 }