diff options
| author | Joe Mou <dev@mou.fo> | 2023-09-22 02:14:57 -0400 |
|---|---|---|
| committer | Joe Mou <dev@mou.fo> | 2023-09-22 02:14:57 -0400 |
| commit | a3895623696b495433d1338969fd19853892f35b (patch) | |
| tree | cf5a9b7815b07fadef4210a0902dffa2dda3839a /hostnix/weebnix/configuration.nix | |
| parent | fa8c147b7ace69eb25394edd82c1528179555553 (diff) | |
Switch boot loader to U-Boot
Previously was using Tianocore EDK II build with old platform firmware.
Switch to NixOS SD image build, which has stock Raspberry Pi OS firmware
(but missing the DTO overlays/ directory) chained into U-Boot.
Diffstat (limited to 'hostnix/weebnix/configuration.nix')
| -rw-r--r-- | hostnix/weebnix/configuration.nix | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/hostnix/weebnix/configuration.nix b/hostnix/weebnix/configuration.nix index b6cf54a..d32c577 100644 --- a/hostnix/weebnix/configuration.nix +++ b/hostnix/weebnix/configuration.nix @@ -10,9 +10,12 @@ ./hardware-configuration.nix ]; - # Use the systemd-boot EFI boot loader. + # https://github.com/NixOS/nixpkgs/issues/122130#issuecomment-1568815007 + boot.initrd.availableKernelModules = [ "uas" "pcie-brcmstb" "reset-raspberrypi" ]; + boot.loader.systemd-boot.enable = true; - boot.loader.efi.canTouchEfiVariables = true; + # Raspberry Pi has no NVRAM. + boot.loader.efi.canTouchEfiVariables = false; # networking.hostName = "nixos"; # Define your hostname. # Pick only one of the below networking options. |