Sean Buckley 37ec7c488a grub: add support for passwords ... This patch adds support for user accounts/passwords in GRUB 2. When configured, everything but the default option is password-protected.		2020-06-23 19:01:43 +02:00
..
generations-dir
generic-extlinux-compatible	hardware.deviceTree: add name	2020-06-21 13:48:22 +02:00
grub	grub: add support for passwords	2020-06-23 19:01:43 +02:00
init-script	specialisation: replace nesting with named configurations	2020-04-12 08:12:50 -04:00
raspberrypi	raspberrypi-builder: ensure scripts fails on error	2020-06-11 14:41:18 -04:00
systemd-boot	nixos/systemd-boot: fix incorrect string formatting	2020-06-18 19:58:50 -04:00
efi.nix
loader.nix