Add more debug prints; move the old ones around

1 files changed, 0 insertions, 3 deletions

diff --git a/kernel/gdt.c b/kernel/gdt.c
index c564f5f..8646dd6 100644
--- a/kernel/gdt.c
+++ b/kernel/gdt.c
@@ -1,5 +1,4 @@
 #include <kernel/gdt.h>
-#include <kernel/tty.h>
 #include <kernel/util.h>
 #include <stdint.h>
 
@@ -108,10 +107,8 @@ static void gdt_load() {
 static void gdt_check() {
 	// note: this only checks the r0data segment,
 	//       it's far from a comprehensive test
-	tty_const("checking gdt...");
 	asm("mov %0, %%ds;"
 	    : : "r" (SEG_r0data << 3) : "memory");
-	tty_const("ok ");
 }
 
 void gdt_init() {