X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=misc%2Ftest_vm%2Fsrc%2Fgeekos%2Fkthread.c;h=7ccec203d1d04e0d8fc05e7a36dd5c165659fdba;hp=e2a6df210bbdf29d9c53b88f8c918a9a08ee71b9;hb=b86b717be870723228190fcc9c8233a511d95073;hpb=bc98195a63d8cb1d109eeaa72f57f468c6c9581e

diff --git a/misc/test_vm/src/geekos/kthread.c b/misc/test_vm/src/geekos/kthread.c
index e2a6df2..7ccec20 100644
--- a/misc/test_vm/src/geekos/kthread.c
+++ b/misc/test_vm/src/geekos/kthread.c
@@ -16,7 +16,7 @@
 #include <geekos/string.h>
 #include <geekos/kthread.h>
 #include <geekos/malloc.h>
-#include <geekos/serial.h>
+#include <geekos/debug.h>
 
 /* ----------------------------------------------------------------------
  * Private data