grub/grub-core/net/drivers/efi
2011-10-05 23:33:36 +02:00
..
efinet.c Hopefully fix EFI problem. Not tested 2011-10-05 23:33:36 +02:00