Dump system information when entering shell

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"
+      '';
     };
   };
 }