diff --git a/headers/private/kernel/dev.h b/headers/private/kernel/dev.h
deleted file mode 100755
index 4512a7d796..0000000000
--- a/headers/private/kernel/dev.h
+++ /dev/null
@@ -1,15 +0,0 @@
-/*
-** Copyright 2001-2002, Travis Geiselbrecht. All rights reserved.
-** Distributed under the terms of the NewOS License.
-*/
-#ifndef _KERNEL_DEV_H
-#define _KERNEL_DEV_H
-
-#include <image.h>
-
-struct kernel_args;
-
-int dev_init(kernel_args *ka);
-image_id dev_load_dev_module(const char *name, const char *directory);
-
-#endif	/* _KERNEL_DEV_H */
diff --git a/headers/private/kernel/devs.h b/headers/private/kernel/devs.h
deleted file mode 100755
index 3171f50052..0000000000
--- a/headers/private/kernel/devs.h
+++ /dev/null
@@ -1,12 +0,0 @@
-/* 
-** Copyright 2001-2002, Travis Geiselbrecht. All rights reserved.
-** Distributed under the terms of the NewOS License.
-*/
-#ifndef KERNEL_ARCH_DEVS_H
-#define KERNEL_ARCH_DEVS_H
-
-struct kernel_args;
-
-int devs_init(struct kernel_args *ka);
-
-#endif	/* KERNEL_ARCH_DEVS_H */