diff --git a/src/kernel/boot/kmain.c b/src/kernel/boot/kmain.c
index b060e62..7805c58 100644
--- a/src/kernel/boot/kmain.c
+++ b/src/kernel/boot/kmain.c
@@ -8,9 +8,10 @@
 #include <thread.h>
 #include <scheduler.h>
 
+int thread_id;
 void thread_function()
 {
-  int thread_id = thread()->tid;
+  thread_id = thread()->tid;
 
   while(1)
   {