From 9520bba7fa5d8a5729e68edb614c34b6cf744d2f Mon Sep 17 00:00:00 2001
From: Martin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Date: Tue, 17 Apr 2018 22:14:11 +0200
Subject: [PATCH] Add KERNEL file for 1004K

copied from P5600
---
 kernel/mips/KERNEL.1004K | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 kernel/mips/KERNEL.1004K

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