From 80794fe8fd2a877cd0387ffc64b21a786ae449f6 Mon Sep 17 00:00:00 2001
From: Martin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Date: Wed, 2 Sep 2020 22:56:58 +0200
Subject: [PATCH] Create KERNEL.SILICON

---
 kernel/arm64/KERNEL.SILICON | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 kernel/arm64/KERNEL.SILICON

diff --git a/kernel/arm64/KERNEL.SILICON b/kernel/arm64/KERNEL.SILICON
new file mode 100644
index 000000000..e3efef1f5
--- /dev/null
+++ b/kernel/arm64/KERNEL.SILICON
@@ -0,0 +1 @@
+include $(KERNELDIR)/KERNEL.ARMV8