j bln: +debian efi bootentry

This commit is contained in:
jeschli 2018-06-19 09:14:15 +02:00
parent 053cf6a434
commit 1c64a03b39

View File

@ -11,8 +11,22 @@
<stockholm/jeschli/2configs/xserver>
];
boot.loader.systemd-boot.enable = true;
# boot.loader.systemd-boot.enable = true;
boot.loader.efi.canTouchEfiVariables = true;
boot.loader.efi.efiSysMountPoint = "/boot";
boot.loader.grub = {
devices = [ "nodev" ];
efiSupport = true;
enable = true;
extraEntries = ''
menuentry "Debian" {
insmod ext2
insmod chain
chainloader /EFI/debian/grubx64.efi
}
'';
version = 2;
};
jeschliFontSize = 20;