rpi-400: note linux_rpi4

2025-09-01 09:51:59 +00:00
parent e43926eb25
commit e7a1ff8b3d
1 changed files with 6 additions and 0 deletions
--- a/hosts/modules/hal/rpi-400.nix
+++ b/hosts/modules/hal/rpi-400.nix
@@ -15,5 +15,11 @@ in
    ];
    #v used by systemd-boot
    hardware.deviceTree.name = "broadcom/bcm2711-rpi-400.dtb";
+
+    # XXX(2025-08-31): stock kernel boots to initrd, but appears (?) to fail to mount root:
+    # mmc0: invalid bus width
+    # mmc0: error -22 whilst initialising SD card
+    # linux_rpi4 seems to do the same...
+    # boot.kernelPackages = pkgs.linuxKernel.packages.linux_rpi4;
  };
 }