18 lines
655 B
Nix
18 lines
655 B
Nix
|
# Boot via coreboot's Tianocore/edk2 (UEFI) payload. This turns the T400 into a
|
||
|
|
# real UEFI machine, so use systemd-boot. Unlike Apple's firmware, coreboot's
|
||
|
|
# UEFI honours EFI variable writes, so canTouchEfiVariables is on.
|
||
|
|
#
|
||
|
|
# Requires an EFI System Partition. It is declared here so it travels with this
|
||
|
|
# boot mode; the generated hardware-configuration.nix should NOT also define
|
||
|
|
# /boot. Label the ESP `ESP` at install, or replace with the generated UUID.
|
||
|
|
{ ... }:
|
||
|
|
{
|
||
|
|
boot.loader.systemd-boot.enable = true;
|
||
|
|
boot.loader.efi.canTouchEfiVariables = true;
|
||
|
|
|
||
|
|
fileSystems."/boot" = {
|
||
|
|
device = "/dev/disk/by-label/ESP";
|
||
|
|
fsType = "vfat";
|
||
|
|
};
|
||
|
|
}
|