interface.h is unused (remainder from Ingmar's work)

diff --git a/kernel/interface.h b/kernel/interface.h
deleted file mode 100644 (file)
index 87f900c..0000000
--- a/kernel/interface.h
+++ /dev/null
@@ -1,9 +0,0 @@
-/* minix/kernel/interface.h - All interfaces the kernel needs.  */
-
-#ifndef _KERNEL_IF_H_
-#define _KERNEL_IF_H_
-
-#include <minix/type.h>
-#include <archtypes.h>
-
-#endif /* #ifndef _KERNEL_IF_H_ */