solo5: retain debugging info

2022-12-15 17:27:51 -06:00 · 2022-12-15 17:27:51 -06:00 · 80b7f0165d
commit 80b7f0165d
parent 3f6ffe5977
1 changed files with 3 additions and 0 deletions
--- a/pkgs/os-specific/solo5/default.nix
+++ b/pkgs/os-specific/solo5/default.nix
@ -34,6 +34,9 @@ in stdenv.mkDerivation {

  enableParallelBuilding = true;

+  separateDebugInfo = true;
+    # debugging requires information for both the unikernel and the tender
+
  installPhase = ''
    runHook preInstall
    export DESTDIR=$out