nix: Disable hardening for OpenSBI

Signed-off-by: Nick Spinale <nick@nickspinale.com>
seL4 · Jun 11, 2024 · 7cc0691 · 7cc0691
1 parent fb1a98c
commit 7cc0691
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/hacking/nix/scope/opensbi.nix b/hacking/nix/scope/opensbi.nix
@@ -21,6 +21,8 @@ stdenv.mkDerivation rec {
     hash = "sha256-JNkPvmKYd5xbGB2lsZKWrpI6rBIckWbkLYu98bw7+QY=";
   };
 
+  hardeningDisable = [ "all" ];
+
   postPatch = ''
     patchShebangs ./scripts
   '';