mirror of
https://git.savannah.gnu.org/git/gnuboot.git
synced 2025-01-21 06:46:29 +01:00
0ea263129a
GRUB is slow at device enumeration. This patch works around it in the same way as vitali64's recent patch. |
||
---|---|---|
.. | ||
background | ||
config | ||
keymap | ||
patches | ||
modules.list |