From 3318a2b904a416cc00b913e870cd74c700a7f129 Mon Sep 17 00:00:00 2001
From: Martin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Date: Tue, 17 Jun 2025 22:41:40 +0200
Subject: [PATCH] override CDOT and ZDOT with the generic C kernel

---
 kernel/x86/KERNEL | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/kernel/x86/KERNEL b/kernel/x86/KERNEL
index 3ae268e6c..0be5ef5c5 100644
--- a/kernel/x86/KERNEL
+++ b/kernel/x86/KERNEL
@@ -203,3 +203,5 @@ endif
 
 CSCALKERNEL = ../arm/zscal.c
 ZSCALKERNEL = ../arm/zscal.c
+CDOTKERNEL = ../arm/zdot.c
+ZDOTKERNEL = ../arm/zdot.c