Files
nixpkgs/pkgs/os-specific
Tuomas Tynkkynen 06c0209d53 systemd: Disable systemd-boot on ARM
Temporary workaround for the EFI stuff not working.
2016-06-02 14:54:44 +03:00
..
2016-05-04 10:11:04 +00:00
2016-04-21 13:38:20 +02:00