From f6e4b4100d4eacecb1f039b1293620afff395c93 Mon Sep 17 00:00:00 2001
From: Martin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Date: Thu, 15 Apr 2021 22:45:45 +0200
Subject: [PATCH] Update KERNEL.SANDYBRIDGE

---
 kernel/x86_64/KERNEL.SANDYBRIDGE | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/kernel/x86_64/KERNEL.SANDYBRIDGE b/kernel/x86_64/KERNEL.SANDYBRIDGE
index 328538cb0..adf6388c6 100644
--- a/kernel/x86_64/KERNEL.SANDYBRIDGE
+++ b/kernel/x86_64/KERNEL.SANDYBRIDGE
@@ -1,3 +1,5 @@
+SSCALKERNEL = ../arm/scal.c
+
 DSCALKERNEL = dscal.c
 CSCALKERNEL = cscal.c