diff options
| -rw-r--r-- | kernel/boot/interrupts/interrupts.cc | 6 | ||||
| -rw-r--r-- | kernel/kernel/halt.cc | 2 | ||||
| -rw-r--r-- | kernel/kernel/kernel.cc | 4 |
3 files changed, 6 insertions, 6 deletions
diff --git a/kernel/boot/interrupts/interrupts.cc b/kernel/boot/interrupts/interrupts.cc index dd96214..b3f13a2 100644 --- a/kernel/boot/interrupts/interrupts.cc +++ b/kernel/boot/interrupts/interrupts.cc @@ -29,17 +29,17 @@ void initialize() { load_idt(); - printk("\nInterrupts", "IDT Loaded."); + printk("\ninterrupts", "IDT Loaded."); enable(); - printk("Interrupts", "Initialized."); + printk("interrupts", "Initialized."); } void enable(void) { if (!idt_loaded()) { - printk("Interrupts", "Attempt to enable before IDT load."); + printk("interrupts", "Attempt to enable before IDT load."); ASSERT_NOT_REACHED(); } diff --git a/kernel/kernel/halt.cc b/kernel/kernel/halt.cc index d0c8fda..7c5356a 100644 --- a/kernel/kernel/halt.cc +++ b/kernel/kernel/halt.cc @@ -23,7 +23,7 @@ void halt(void) { - printk("Kernel", "Halted."); + printk("kernel", "Halted."); while (true) __asm__ volatile("cli; hlt"); diff --git a/kernel/kernel/kernel.cc b/kernel/kernel/kernel.cc index ee7f7cf..3200dd8 100644 --- a/kernel/kernel/kernel.cc +++ b/kernel/kernel/kernel.cc @@ -37,7 +37,7 @@ kernel_main(uint32_t magic, multiboot_info_t *multiboot_info) VGATextBuffer::initialize(); if (magic != MULTIBOOT_BOOTLOADER_MAGIC) { - printk("Kernel", "Invalid Multiboot Magic: %x", magic); + printk("kernel", "Invalid Multiboot Magic: %x", magic); halt(); } @@ -47,7 +47,7 @@ kernel_main(uint32_t magic, multiboot_info_t *multiboot_info) VirtualMM::initialize(); Interrupts::initialize(); - printk("\nKernel", "Started."); + printk("\nkernel", "Started."); exit(); halt(); /* If exit() fails (on real hardware) */ |