diff --git a/sw/kernel/devices/rtc.s b/sw/kernel/devices/rtc.s
index 864e223..e0778b3 100644
--- a/sw/kernel/devices/rtc.s
+++ b/sw/kernel/devices/rtc.s
@@ -51,19 +51,19 @@ RTC_CONTROL         = $30
     lda #$00
     sta RTC_DAT
 
-    lda #RTC_THRESHOLD+0    ; Set irq threshold to 50 ($32)
+    lda #RTC_IRQ_THRESHOLD+0    ; Set irq threshold to 50 ($32)
     sta RTC_CMD
     lda #$32
     sta RTC_DAT
-    lda #RTC_THRESHOLD+1
+    lda #RTC_IRQ_THRESHOLD+1
     sta RTC_CMD
     lda #$00
     sta RTC_DAT
-    lda #RTC_THRESHOLD+2
+    lda #RTC_IRQ_THRESHOLD+2
     sta RTC_CMD
     lda #$00
     sta RTC_DAT
-    lda #RTC_THRESHOLD+3
+    lda #RTC_IRQ_THRESHOLD+3
     sta RTC_CMD
     lda #$00
     sta RTC_DAT
diff --git a/sw/kernel/kernel.c b/sw/kernel/kernel.c
index d69a0f1..50564bf 100644
--- a/sw/kernel/kernel.c
+++ b/sw/kernel/kernel.c
@@ -7,19 +7,19 @@ int main() {
 
     cputs("Kernel\n");
 
-    // cputs("Init Paging")
+    // cputs("Init Paging\n")
     // init_paging()
 
-    // cputs("Initialize Interrupts");
+    // cputs("Initialize Interrupts\n");
     // init_interrupts();
 
-    cputs("Initialize Interrupt Controller");
+    cputs("Initialize Interrupt Controller\n");
     init_interrupt_controller();
 
-    cputs("Initialize RTC");
+    cputs("Initialize RTC\n");
     init_rtc();
 
-    // cputs("Initialize Serial");
+    // cputs("Initialize Serial\n");
     // // init_serial();
     // enable_irq(2, IRQ_EDGE);