9284b4aa39
It doesn't hurt, and is useful for removable boot media like a pendrive that may depend on usb enumeration and isn't available immediately. Signed-off-by: Gustavo Zacarias <gustavo@zacarias.com.ar> Reviewed-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com> Signed-off-by: Peter Korsgaard <peter@korsgaard.com> |
||
---|---|---|
.. | ||
Config.in | ||
grub2-remove-gets.patch | ||
grub2.hash | ||
grub2.mk | ||
grub.cfg |