diff --git a/kernel.c b/kernel.c
index 8dd8e36..ece3c2b 100644
--- a/kernel.c
+++ b/kernel.c
@@ -6,9 +6,7 @@
 #include "gdt.h"
 
 void kinit() {
-	printf("setting up gdt\n");
 	gdt_configure();
-	printf("setting idt\n");
 	init_idt();
 	test_dispatcher();
 }