diff options
Diffstat (limited to 'hosts/eurovm/disko.nix')
| -rw-r--r-- | hosts/eurovm/disko.nix | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/hosts/eurovm/disko.nix b/hosts/eurovm/disko.nix index d1ec85c..5176340 100644 --- a/hosts/eurovm/disko.nix +++ b/hosts/eurovm/disko.nix @@ -20,8 +20,10 @@ priority = 1; }; - # 512 MiB /boot - keeps kernels/initrds out of root for clarity - ESP = { + # 512 MiB /boot - keeps kernels/initrds out of root for clarity. + # Not a real EFI System Partition (ext4, not FAT32/type EF00) - + # this is a BIOS-boot setup, GRUB just needs a plain filesystem here. + bootfs = { size = "512M"; type = "8300"; content = { |