diff --git a/kernel.c b/kernel.c
index cd6609b..9eee839 100644
--- a/kernel.c
+++ b/kernel.c
@@ -13,21 +13,6 @@ void kinit() {
 	test_dispatcher();
 }
 
-void kprintp(const u32 ptr) {
-	// Prints our hex version of whatever is given
-	const char _chars[] = "0123456789abcdef";
-	u32 idx = 0; // used as hash into the _chars mapping
-	// iterate over each nibble
-	for(u32 i = 0 ;i < 8;i++) {
-		idx = (ptr << (i * 4)) & 0xf0000000;
-		idx = idx >> 28;
-		putch(_chars[idx]);
-	}
-}
-
-void kprints(const char* s) {
-	printf(s);
-}
 
 // Should kmain return, we fall back to the loader which then just keeps in a hung state
 void kmain() {
diff --git a/kernel.h b/kernel.h
index 9b1f01f..0cf4dc0 100644
--- a/kernel.h
+++ b/kernel.h
@@ -1,6 +1,4 @@
 #include "types.h"
 
 void kinit();
-void kprintp(const u32);
-void kprints(const char*);
 void kmain();