diff --git a/kaleid/kernel/init/init.c b/kaleid/kernel/init/init.c
index ddec416..8ce9bc8 100644
--- a/kaleid/kernel/init/init.c
+++ b/kaleid/kernel/init/init.c
@@ -93,7 +93,7 @@ noreturn void BtStartKern(multiboot_info_t *mbInfo, uint mbMagic, void *codeSeg)
         pciDev_t *rtl8139_pciDev = IoPciGetDevice(0x10EC, 0x8139);
         if(rtl8139_pciDev != NULL)
         {
-            KernLog("Network card RTL8139 found ! PCI config addr = %p\n", 
+            DebugLog("Network card RTL8139 found ! PCI config addr = %p\n", 
                     rtl8139_pciDev->configAddr);
         }