From 3ebc1fdf3e0ee9bff1efe20eb5791eba5c84a810 Mon Sep 17 00:00:00 2001 From: Alexandre Frade Date: Thu, 3 Aug 2023 13:53:49 +0000 Subject: [PATCH 01/19] XANMOD: x86/build: Prevent generating avx2 and avx512 floating-point code Signed-off-by: Alexandre Frade --- arch/x86/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) --- a/arch/x86/Makefile +++ b/arch/x86/Makefile @@ -74,9 +74,9 @@ export BITS # # https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53383 # -KBUILD_CFLAGS += -mno-sse -mno-mmx -mno-sse2 -mno-3dnow -mno-avx +KBUILD_CFLAGS += -mno-sse -mno-mmx -mno-sse2 -mno-3dnow -mno-avx -mno-avx2 -mno-avx512f KBUILD_RUSTFLAGS += --target=$(objtree)/scripts/target.json -KBUILD_RUSTFLAGS += -Ctarget-feature=-sse,-sse2,-sse3,-ssse3,-sse4.1,-sse4.2,-avx,-avx2 +KBUILD_RUSTFLAGS += -Ctarget-feature=-sse,-sse2,-sse3,-ssse3,-sse4.1,-sse4.2,-avx,-avx2,-avx512f # # CFLAGS for compiling floating point code inside the kernel.