From 4125e39ce07329f7d79a094947924e0a0d4876bb Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Wed, 2 Jun 2021 12:41:47 +0200
Subject: [PATCH] nanos6: don't strip symbols

---
 bsc/nanos6/default.nix | 1 +
 bsc/nanos6/git.nix     | 1 +
 2 files changed, 2 insertions(+)

diff --git a/bsc/nanos6/default.nix b/bsc/nanos6/default.nix
index 66ee3012..5d0feb15 100644
--- a/bsc/nanos6/default.nix
+++ b/bsc/nanos6/default.nix
@@ -39,6 +39,7 @@ stdenv.mkDerivation rec {
   '';
 
   enableParallelBuilding = true;
+  dontStrip = true;
 
   preConfigure = ''
     export CACHELINE_WIDTH=${toString cachelineBytes}
diff --git a/bsc/nanos6/git.nix b/bsc/nanos6/git.nix
index be6ff9ac..37f3be31 100644
--- a/bsc/nanos6/git.nix
+++ b/bsc/nanos6/git.nix
@@ -35,6 +35,7 @@ stdenv.mkDerivation rec {
   '';
 
   enableParallelBuilding = true;
+  dontStrip = true;
 
   preConfigure = ''
     export CACHELINE_WIDTH=${toString cachelineBytes}