From 6782fc6c5b5a29e84a7f2c2d1064f4bcb1288c0f Mon Sep 17 00:00:00 2001 From: Rodrigo Arias Date: Mon, 18 Nov 2024 11:02:28 +0100 Subject: [PATCH] Add cacheline parameter to nOS-V By default it is set to 64 bits. The cacheline parameter is required when cross-compiling nOS-V, as it cannot be read from the build machine. Tested-by: Rodrigo Arias Mallo --- pkgs/nosv/default.nix | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/pkgs/nosv/default.nix b/pkgs/nosv/default.nix index 22a89f4..22ff41b 100644 --- a/pkgs/nosv/default.nix +++ b/pkgs/nosv/default.nix @@ -6,6 +6,7 @@ , pkg-config , numactl , hwloc +, cacheline ? 64 # bits , ovni ? null , useGit ? false , gitUrl ? "git@gitlab-internal.bsc.es:nos-v/nos-v.git" @@ -43,7 +44,10 @@ in hardeningDisable = [ "all" ]; dontStrip = true; separateDebugInfo = true; - configureFlags = [ "--with-ovni=${ovni}" ]; + configureFlags = [ + "--with-ovni=${ovni}" + "CACHELINE_WIDTH=${toString cacheline}" + ]; nativeBuildInputs = [ autoreconfHook pkg-config