Boot opensbi without compressed

2024-01-17 18:22:30 +01:00
parent 22de6d8297
commit f8b624af67
7 changed files with 287 additions and 89 deletions
--- a/overlay.nix
+++ b/overlay.nix
@@ -0,0 +1,13 @@
+final: prev:
+
+# Changes to packages from nixpkgs
+
+{
+  opensbi = prev.opensbi.overrideAttrs (old: {
+    makeFlags = old.makeFlags ++ [
+        # Build OpenSBI without compressed instructions
+        "PLATFORM_RISCV_ISA=rv64gv"
+        # Check with: riscv64-unknown-elf-objdump -d -M no-aliases rotate
+    ];
+  });
+}