[SeaBIOS] Does seabios support USB device hot plug?

[Kevin O'Connor]

On Tue, Mar 11, 2014 at 06:11:19PM +0800, WANG Siyuan wrote:
> Hi
> I use seabios as coreboot payload. It seems that seabios does not support
> USB device hot plug.
> For example, I use a USB keyboard connect to a mainboard. When booting to
> GRUB, keyboard works. If I unplug the USB keyboard and plug it again, the
> keyboard doesn't work.
> 
> Does seabios support USB device hot plug?

As you stated, SeaBIOS does not support USB devices that are plugged
in after boot up.

-Kevin