diff --git a/src/kernel/boot/kmain.c b/src/kernel/boot/kmain.c
index bf9cc73..fad0a55 100644
--- a/src/kernel/boot/kmain.c
+++ b/src/kernel/boot/kmain.c
@@ -8,14 +8,14 @@ void kmain(uint64_t multiboot_magic, void *multiboot_data)
 {
   serial_init(PORT_COM1);
   vga_init();
-  debug_printf("kernel loaded\n");
+  debug_info("kernel loaded\n");
 
 
   parse_multiboot(multiboot_magic, P2V(multiboot_data));
 
-  debug_printf("Kernel was loaded with command line \"%s\", by <%s>\n", kernel_boot_data.commandline, kernel_boot_data.bootloader);
+  debug_info("Kernel was loaded with command line \"%s\", by <%s>\n", kernel_boot_data.commandline, kernel_boot_data.bootloader);
 
-  debug_printf("Boot \"Complete\"\n");
+  debug_ok("Boot \"Complete\"\n");
 
   PANIC("Reached end of kernel main function\n");
   for(;;);
diff --git a/src/kernel/boot/multiboot.c b/src/kernel/boot/multiboot.c
index 3196070..e523b85 100644
--- a/src/kernel/boot/multiboot.c
+++ b/src/kernel/boot/multiboot.c
@@ -20,7 +20,7 @@ int parse_multiboot2(struct mboot2_taglist *tags)
         kernel_boot_data.commandline = (char *)tag->data;
         break;
       default:
-        debug("[info] Unknown multiboot tag type:%d \n", tag->type);
+        debug_warning("Unknown multiboot tag type:%d \n", tag->type);
     }
     int padded_size = tag->size + ((tag->size % 8)?(8-(tag->size%8)):0);
     tag = incptr(tag, padded_size);