Eric Sagnes 80b854739c grub module: use enum

2016-11-04 13:05:13 +09:00

..

generations-dir

…

generic-extlinux-compatible

…

grub

grub module: use enum

2016-11-04 13:05:13 +09:00

init-script

…

raspberrypi

…

systemd-boot

systemd-boot: inline add_entry function

2016-09-30 13:56:19 +02:00

efi.nix

…

loader.nix

…