diff --git a/headers/private/kernel/cdefs.h b/headers/private/kernel/cdefs.h
deleted file mode 100755
index 0ffc9b244a..0000000000
--- a/headers/private/kernel/cdefs.h
+++ /dev/null
@@ -1,18 +0,0 @@
-/*
-** Copyright 2001, Travis Geiselbrecht. All rights reserved.
-** Distributed under the terms of the NewOS License.
-*/
-#ifndef _CDEFS_H
-#define _CDEFS_H
-
-#ifdef __GNUC__
-# define __PRINTFLIKE(__fmt,__varargs) __attribute__((__format__ (__printf__, __fmt, __varargs)))
-# define __SCANFLIKE(__fmt,__varargs) __attribute__((__format__ (__scanf__, __fmt, __varargs)))
-# define __PURE __attribute__((__const__))
-#else
-# define __PRINTFLIKE(__fmt,__varargs)
-# define __SCANFLIKE(__fmt,__varargs)
-# define __PURE
-#endif
-
-#endif
diff --git a/headers/private/kernel/dbg_console.h b/headers/private/kernel/dbg_console.h
deleted file mode 100755
index d1e8a9aba4..0000000000
--- a/headers/private/kernel/dbg_console.h
+++ /dev/null
@@ -1,16 +0,0 @@
-/* 
-** Copyright 2001-2002, Travis Geiselbrecht. All rights reserved.
-** Distributed under the terms of the NewOS License.
-*/
-#ifndef _NEWOS_KERNEL_ARCH_DBG_CONSOLE
-#define _NEWOS_KERNEL_ARCH_DBG_CONSOLE
-
-#include <boot/stage2.h>
-
-char arch_dbg_con_read(void);
-char arch_dbg_con_putch(char c);
-void arch_dbg_con_puts(const char *s);
-int arch_dbg_con_init(kernel_args *ka);
-
-#endif
-