X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/5a0e6ead0fbfbb912cd817abad695c078e82481c..8d9e85aaae867f39cdd610261e3a4181c25add2d:/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 ee83b7149..88ffe683e 100644
--- 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;