From a5d3613f506b068b2f3fa891901b15ff9e9d63f0 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 28 Jan 2025 17:20:59 +0100
Subject: [PATCH] build: set -march=x86-64-v2 for x86_64

This allows for the use of SSE4.1 intrinsics.

Fixes #5440
---
 repos/base/mk/spec/x86_64.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base/mk/spec/x86_64.mk b/repos/base/mk/spec/x86_64.mk
index 8dbb698660..75e8602a06 100644
--- a/repos/base/mk/spec/x86_64.mk
+++ b/repos/base/mk/spec/x86_64.mk
@@ -9,7 +9,7 @@ SPECS += x86 64bit
 REP_INC_DIR += include/spec/x86
 REP_INC_DIR += include/spec/x86_64
 
-CC_MARCH ?= -m64 -mcmodel=large
+CC_MARCH ?= -m64 -mcmodel=large -march=x86-64-v2
 
 #
 # Avoid wasting almost 4 MiB by telling the linker that the max page size is