From a397ede43dc7b64717b05bdb8f641874cc030fd5 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Thu, 12 Sep 2024 10:30:56 +0200
Subject: [PATCH] Switch the default devshell to lagarto-ox-rd

---
 flake.nix | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index ed621bf..6df0a36 100644
--- a/flake.nix
+++ b/flake.nix
@@ -58,7 +58,7 @@
 
     # A development shell with QEMU ready to boot the RISC-V system in an x86
     # machine.
-    devShells.x86_64-linux.default =
+    devShells.x86_64-linux.qemu-lagarto-hun =
     let
       nixosconf = self.nixosConfigurations.qemu-nc;
       syspkgs = nixosconf.pkgs;
@@ -70,6 +70,7 @@
       NIXOS_SYSTEM_TOPLEVEL = toplevel;
       OPENSBI = syspkgs.opensbi-uboot;
     };
+
     devShells.x86_64-linux.lagarto-hun =
     let
       nixosconf = self.nixosConfigurations.lagarto-hun;
@@ -127,5 +128,8 @@
         TOPLEVEL = "";
         ROOTFS = "";
       });
+
+    devShells.x86_64-linux.default =
+      self.outputs.devShells.x86_64-linux.lagarto-ox-rd;
   };
 }