diff --git a/kernel/elf.c b/kernel/elf.c
index e318dcc..72b1a64 100644
--- a/kernel/elf.c
+++ b/kernel/elf.c
@@ -14,8 +14,6 @@ static void* memcpy(void* restrict dstptr, const void* restrict srcptr, size_t s
     return dstptr;
 }
 
-extern void jump_to_userspace();
-
 void run_program(uint8_t* code, size_t code_length, uint8_t* data, size_t data_length)
 {
     uint8_t* userland_code = (uint8_t*) 0x00000010;
diff --git a/kernel/kernel.c b/kernel/kernel.c
index b497e78..cc6ad87 100644
--- a/kernel/kernel.c
+++ b/kernel/kernel.c
@@ -50,7 +50,7 @@ void kernel_main(void)
     while (true) {
         i += 1;
         if (i == 1 << 16) {
-            terminal_writestring("Hello\n");
+            asm("int $0x20");
             i = 0;
         }
     }