From 4344f73d8732fd14ef117bb635dd5d9a3d3289f7 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Wed, 5 Jun 2024 14:49:51 +0200
Subject: [PATCH] Dump system information when entering shell

---
 flake.nix | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/flake.nix b/flake.nix
index c1ede80..f549cf1 100644
--- a/flake.nix
+++ b/flake.nix
@@ -87,6 +87,15 @@
       INITRD = build.initialRamdisk;
       ROOTFS = build.sdImage;
       UBOOT_ENV = syspkgs.uboot-env;
+      shellHook = ''
+        echo "Here are the current system pieces:"
+        echo " TOPLEVEL  = $TOPLEVEL"
+        echo " KERNEL    = $KERNEL"
+        echo " OPENSBI   = $OPENSBI"
+        echo " INITRD    = $INITRD"
+        echo " ROOTFS    = $ROOTFS"
+        echo " UBOOT_ENV = $UBOOT_ENV"
+      '';
     };
   };
 }