From b55e0ba7b6247e1c92328bb2fde864d9ae3d9f7a Mon Sep 17 00:00:00 2001
From: Adrien Bourmault <neox@os-k.eu>
Date: Thu, 20 Feb 2020 10:04:42 +0100
Subject: [PATCH] misc modif

---
 kaleid/drivers/rtl8139.c  | 2 +-
 kaleid/kernel/init/init.c | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/kaleid/drivers/rtl8139.c b/kaleid/drivers/rtl8139.c
index 23aa638..37908a7 100644
--- a/kaleid/drivers/rtl8139.c
+++ b/kaleid/drivers/rtl8139.c
@@ -76,7 +76,7 @@ void initRTL8139()
         // Interrupts
         uchar irqNum = IoPciReadConfigByte(rtl8139_pciDev, PCI_REG_INTERRUPT_LINE);
         if(!KeRegisterISR(&rtl8139ISR, irqNum)) {
-            //DebugLog("RTL8139 irq num: %u\n", irqNum);
+            DebugLog("RTL8139 irq num: %u\n", irqNum);
         }
     }
 }
diff --git a/kaleid/kernel/init/init.c b/kaleid/kernel/init/init.c
index 1b7c94c..44f06c7 100644
--- a/kaleid/kernel/init/init.c
+++ b/kaleid/kernel/init/init.c
@@ -90,7 +90,7 @@ noreturn void BtStartKern(multiboot_info_t *mbInfo, uint mbMagic, void *codeSeg)
     IoInitPCI();
 
     // Drivers
-    //initRTL8139();
+    initRTL8139();
 
     // Scheduler
     PsInitSched();