Changes in kernel/arch/amd64/src/amd64.c [3a2f8aa:849ed54] in mainline

File:

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

kernel/arch/amd64/src/amd64.c

@@ -35 +35 @@
 #include <arch.h>
 
-#include <arch/types.h>
+#include <typedefs.h>
 
 #include <config.h>
@@ -228 +228 @@
             (uintptr_t) I8042_BASE);
 #endif
+        
+        /*
+         * This nasty hack should also go away ASAP.
+         */
+        trap_virtual_enable_irqs(1 << IRQ_DP8390);
+        sysinfo_set_item_val("netif.dp8390.inr", NULL, IRQ_DP8390);
 }