From d712ea724cbf517fb8a40607cf5381dd453dbf92 Mon Sep 17 00:00:00 2001
From: Martin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Date: Sat, 18 Apr 2020 21:10:18 +0200
Subject: [PATCH] Add MIPS24K support

---
 kernel/mips/KERNEL.24K | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 kernel/mips/KERNEL.24K

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