Kernel: Add basic support for PCI and rtl8139

This implementation is very messy and is currently not used.

1 files changed, 4 insertions, 3 deletions

diff --git a/cpu/idt.c b/cpu/idt.c
index 90bd56e..1a8c95e 100644
--- a/cpu/idt.c
+++ b/cpu/idt.c
@@ -257,9 +257,10 @@ void idt_init(void) {
   install_handler(kernel_general_protection_fault, INT_32_TRAP_GATE(0x0), 0xD);
 
   PIC_remap(0x20);
-  //  IRQ_set_mask(0xc);
-    IRQ_clear_mask(0x5);
-    IRQ_clear_mask(0xB);
+  IRQ_clear_mask(0xb);
+  IRQ_set_mask(0xe);
+  IRQ_set_mask(0xf);
+  IRQ_clear_mask(2);
   /*
     IRQ_set_mask(0xe);
     IRQ_set_mask(2);