diff options
Diffstat (limited to 'boards/default.nix')
| -rw-r--r-- | boards/default.nix | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/boards/default.nix b/boards/default.nix index 6c8c8a9..de0eb34 100644 --- a/boards/default.nix +++ b/boards/default.nix @@ -40,12 +40,15 @@ let ''; installPhase = '' runHook preInstall - install -Dt $out kernel.elf + install -m0755 -Dt $out vernos_kernel.elf + install -m0644 -Dt $out vernos_kernel.sym runHook postInstall ''; + dontFixup = true; AS = "${arch.crossSystem}-as"; LD = "${arch.crossSystem}-ld"; + STRIP = "${arch.crossSystem}-strip"; } // args ); |