John Ericson 699418dcaa Merge pull request #72819 from lopsided98/gnu-efi-armv6l ... gnu-efi: apply patch to fix build on armv6l		2019-11-05 22:13:53 -05:00
..
default.nix	Merge pull request #72819 from lopsided98/gnu-efi-armv6l	2019-11-05 22:13:53 -05:00