From 7ad1b54572a4c29024809ee5a98360519a7bda90 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodarima@gmail.com>
Date: Wed, 17 Jan 2024 18:33:58 +0100
Subject: [PATCH] Try building the system

---
 flake.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index 2b13e88..fa94cfd 100644
--- a/flake.nix
+++ b/flake.nix
@@ -46,14 +46,14 @@
     devShells.x86_64-linux.default =
     let
       nixosconf = self.nixosConfigurations.cross;
-      sysconf = nixosconf.config;
       syspkgs = nixosconf.pkgs;
+      toplevel = nixosconf.config.system.build.toplevel;
     in
       pkgs.mkShell {
       pname = "qemu-shell";
       buildInputs = with pkgs; [ qemu ];
       # Here we tell the run script where to find the system
-      #NIXOS_SYSTEM_TOPLEVEL = "${sysconfig.system.build.toplevel}";
+      NIXOS_SYSTEM_TOPLEVEL = toplevel;
       OPENSBI = syspkgs.opensbi;
     };
   };