From 80b7f0165de1781924e0280967df5776bff703ec Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Thu, 15 Dec 2022 17:27:51 -0600
Subject: [PATCH] solo5: retain debugging info

---
 pkgs/os-specific/solo5/default.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pkgs/os-specific/solo5/default.nix b/pkgs/os-specific/solo5/default.nix
index 87e992555548..08c9f223ef79 100644
--- 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