make genepi boot again

machines/genepi/boot.nix

@@ -8,12 +8,18 @@
   ];
 
   boot.loader = {
-    grub.enable = false;
-    generic-extlinux-compatible.enable = true;
+    generic-extlinux-compatible.enable = false;
+    efi.canTouchEfiVariables = true;
+    systemd-boot.enable = true;
   };
 
+  nixpkgs.overlays = [
+    (final: super: {
+      makeModulesClosure = x: super.makeModulesClosure (x // { allowMissing = true; });
+    })
+  ];
+
   boot.supportedFilesystems = [
-    "btrfs"
     "vfat"
   ];
 }

machines/genepi/disko.nix

@@ -15,14 +15,10 @@ in
     content = {
       type = "gpt";
       partitions = {
-        boot = {
-          type = "EF02";
-          size = "1M";
-          priority = 1;
-        };
         ESP = {
           type = "EF00";
           size = "512M";
+          priority = 1;
           content = {
             type = "filesystem";
             format = "vfat";

machines/genepi/hardware-configuration.nix

@@ -1,20 +1,20 @@
 { inputs, pkgs, ... }:
 {
   imports = [
-    # inputs.nixos-hardware.nixosModules.raspberry-pi-4
+    inputs.nixos-hardware.nixosModules.raspberry-pi-4
   ];
 
   nixpkgs.hostPlatform = "aarch64-linux";
 
   hardware.enableRedistributableFirmware = true;
 
-  # hardware = {
-  #   raspberry-pi."4".apply-overlays-dtmerge.enable = true;
-  #   deviceTree = {
-  #     enable = true;
-  #     filter = "*rpi-4-*.dtb";
-  #   };
-  # };
+  hardware = {
+    raspberry-pi."4".apply-overlays-dtmerge.enable = true;
+    deviceTree = {
+      enable = true;
+      filter = "*rpi-4-*.dtb";
+    };
+  };
 
   environment.systemPackages = with pkgs; [
     libraspberrypi