update

[l4.git] / kernel / fiasco / src / kern / io_apic.cpp

diff --git a/kernel/fiasco/src/kern/io_apic.cpp b/kernel/fiasco/src/kern/io_apic.cpp
index ee83b714994cc2ed474993a2b210d915e2f3aa51..88ffe683ec2ebcebec1453991fc1978e59c1f55e 100644 (file)
--- a/kernel/fiasco/src/kern/io_apic.cpp
+++ b/kernel/fiasco/src/kern/io_apic.cpp
@@ -150,7 +150,7 @@ Io_apic::init()
       printf("Could not find APIC in RSDT nor XSDT, skipping init\n");
       return false;
     }
-  printf("MADT = %p\n", _madt);
+  printf("IO-APIC: MADT = %p\n", _madt);
 
   int n_apics = 0;