platform: boot raspberry pi hosts with extlinux

Author: ExtraToast

platform/nix/hosts/enschede-pi-1/default.nix

@@ -1,11 +1,19 @@
-{ ... }:
+{ lib, ... }:
 {
   imports = [
     ../../profiles/worker.nix
     ../../modules/k3s/node-labels.nix
     ./disko.nix
   ];
 
+  # Raspberry Pi images boot through firmware + U-Boot/extlinux rather than EFI/systemd-boot.
+  boot.loader = {
+    grub.enable = lib.mkForce false;
+    systemd-boot.enable = lib.mkForce false;
+    efi.canTouchEfiVariables = lib.mkForce false;
+    generic-extlinux-compatible.enable = true;
+  };
+
   networking.hostName = "enschede-pi-1";
   personalStack.k3sNodeLabels = {
     "personal-stack/site" = "enschede";

platform/nix/hosts/enschede-pi-2/default.nix

@@ -1,11 +1,19 @@
-{ ... }:
+{ lib, ... }:
 {
   imports = [
     ../../profiles/worker.nix
     ../../modules/k3s/node-labels.nix
     ./disko.nix
   ];
 
+  # Raspberry Pi images boot through firmware + U-Boot/extlinux rather than EFI/systemd-boot.
+  boot.loader = {
+    grub.enable = lib.mkForce false;
+    systemd-boot.enable = lib.mkForce false;
+    efi.canTouchEfiVariables = lib.mkForce false;
+    generic-extlinux-compatible.enable = true;
+  };
+
   networking.hostName = "enschede-pi-2";
   personalStack.k3sNodeLabels = {
     "personal-stack/site" = "enschede";

platform/nix/hosts/enschede-pi-3/default.nix

@@ -1,11 +1,19 @@
-{ ... }:
+{ lib, ... }:
 {
   imports = [
     ../../profiles/worker.nix
     ../../modules/k3s/node-labels.nix
     ./disko.nix
   ];
 
+  # Raspberry Pi images boot through firmware + U-Boot/extlinux rather than EFI/systemd-boot.
+  boot.loader = {
+    grub.enable = lib.mkForce false;
+    systemd-boot.enable = lib.mkForce false;
+    efi.canTouchEfiVariables = lib.mkForce false;
+    generic-extlinux-compatible.enable = true;
+  };
+
   networking.hostName = "enschede-pi-3";
   personalStack.k3sNodeLabels = {
     "personal-stack/site" = "enschede";

platform/tooling/src/test/kotlin/com/jorisjonkers/personalstack/platform/PlatformHostDefinitionsTest.kt

@@ -44,6 +44,18 @@ class PlatformHostDefinitionsTest {
         }
     }
 
+    @Test
+    fun `raspberry pi hosts override efi boot with generic extlinux`() {
+        listOf("enschede-pi-1", "enschede-pi-2", "enschede-pi-3").forEach { nodeName ->
+            val hostDefinition = repositoryRoot.resolve("platform/nix/hosts/${nodeName}/default.nix").toFile().readText()
+
+            assertThat(hostDefinition)
+                .contains("systemd-boot.enable = lib.mkForce false")
+                .contains("efi.canTouchEfiVariables = lib.mkForce false")
+                .contains("generic-extlinux-compatible.enable = true")
+        }
+    }
+
     @Test
     fun `flake exports every inventory node with the correct architecture`() {
         val flake = repositoryRoot.resolve("platform/flake.nix").toFile().readText()