[SeaBIOS] How to boot USB 3.0 devices with SeaBIOS

[Kevin O'Connor]

On Tue, Sep 19, 2017 at 08:47:37AM +0200, diffusae wrote:
> Hello,
> 
> does anybody know, how to boot USB 3.0 devices with SeaBIOS?
> 
> They aren't recognized in the boot menu with coreboot.

Many USB 3 devices do work on SeaBIOS.  If you're experiencing a
problem, please provide the full log as described at:

https://www.seabios.org/Debugging

-Kevin