Disable OpenSSH in Lagarto Hun

configuration.nix

@@ -12,9 +12,6 @@
 
   networking.hostName = "nixos-riscv";
 
-  # Enable ssh on boot
-  services.openssh.enable = true;
-
   system.stateVersion = "24.05";
 
   services.getty.autologinUser = "test";

fpga/boot.sh

@@ -5,5 +5,8 @@ set -e
 
 source ./env.sh
 
-./fpgactl -b opensbi.bin -k kernel.bin -i initrd.bin
+#bitstream="-w system-acme_ea-4h2v.bit"
+
+./fpgactl $bitstream -b opensbi.bin -k kernel.bin -i initrd.bin -r rootfs.img
+
 picocom -b 115200 /dev/ttyUSB2

lagarto-hun.nix

@@ -47,6 +47,16 @@
     };
   };
 
+  # No network
+  services.openssh.enable = false;
+
+  # Run getty on /dev/console and restartt until it works
+  systemd.services."serial-getty@console" = {
+    enable = true;
+    wantedBy = [ "getty.target" ]; # to start at boot
+    serviceConfig.Restart = "always";
+  };
+
   sdImage = {
     # The image will be loaded as-is in memory, so no compression
     compressImage = false;

vm.nix

@@ -7,6 +7,9 @@
     "${modulesPath}/virtualisation/qemu-vm.nix"
   ];
 
+  # Enable ssh on boot
+  services.openssh.enable = true;
+
   boot = {
     kernelParams = [
       "console=tty1"