26c22d63a7
Some time is needed for the BIOS to do its work, but 250ms should be plenty. Signed-off-by: Hans de Goede <hdegoede@redhat.com> Signed-off-by: Matthew Garrett <matthew.garrett@nebula.com> |
||
---|---|---|
.. | ||
goldfish | ||
olpc | ||
x86 | ||
Kconfig | ||
Makefile |