diff options
| author | jeschli <jeschli@gmail.com> | 2018-06-19 09:14:15 +0200 |
|---|---|---|
| committer | jeschli <jeschli@gmail.com> | 2018-06-19 09:14:15 +0200 |
| commit | 0ef63b2e4d4297c370e9ee77a58d90733cc450c4 (patch) | |
| tree | 1e27ec368700594b7ed465aa04fc0fce811de46f /jeschli/1systems | |
| parent | 1ef012d4346ab545dbe10d87b9ea4aebcd829b66 (diff) | |
j bln: +debian efi bootentry
Diffstat (limited to 'jeschli/1systems')
| -rw-r--r-- | jeschli/1systems/bln/config.nix | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/jeschli/1systems/bln/config.nix b/jeschli/1systems/bln/config.nix index c5f8101..1680bcf 100644 --- a/jeschli/1systems/bln/config.nix +++ b/jeschli/1systems/bln/config.nix @@ -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; |