Dear SeaBIOS folks,
on LinuxTag 2014 the OpenMandriva project [1] gave away USB flash storage devices with OpenMandriva installed for live booting. Testing it out on the ASRock E350M1 with coreboot and SeaBIOS payload it was not detected by SeaBIOS, meaning pressing F12 it was not listed in the boot options.
Rebooting the system by pressing Ctrl + Alt + Del the USB device was recognized by SeaBIOS and listed in the boot menu.
I am still able to reproduce this with SeaBIOS build from master. Please find the coreboot and SeaBIOS logs attached.
Thanks,
Paul