From e55ec82bb92338d09ecd77357da3fcdfac0a7902 Mon Sep 17 00:00:00 2001
From: Martin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Date: Sun, 19 Apr 2020 15:44:30 +0200
Subject: [PATCH] Delete KERNEL.1004K

---
 kernel/mips/KERNEL.1004K | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 kernel/mips/KERNEL.1004K

diff --git a/kernel/mips/KERNEL.1004K b/kernel/mips/KERNEL.1004K
deleted file mode 100644
index 67135356e..000000000
--- a/kernel/mips/KERNEL.1004K
+++ /dev/null
@@ -1 +0,0 @@
-include $(KERNELDIR)/KERNEL.P5600