Samuel Dionne-Riel 932c8f4c13 grub: grub-0.97-patch-1.15 -> grub-0.97-73 ... Instead of using Gentoo's patchset, uses Debian's. Gentoo's doesn't work anymore.		2018-09-17 09:31:36 -04:00
..
pvgrub_image
2.0x.nix
buggybios.patch
default.nix	grub: grub-0.97-patch-1.15 -> grub-0.97-73	2018-09-17 09:31:36 -04:00
fix-bash-completion.patch
grub1.patches.nix	grub: grub-0.97-patch-1.15 -> grub-0.97-73	2018-09-17 09:31:36 -04:00
grub1.patches.sh	grub: grub-0.97-patch-1.15 -> grub-0.97-73	2018-09-17 09:31:36 -04:00
symlink.patch
trusted.nix