I've tagged a new release of SeaBIOS. For more information on the release, please see:
New in this release:
* Setup code can relocate to high-memory to save space in c-f segments * Build now configured via Kconfig * Experimental support for AHCI controllers * Support for run-time configuration of the boot order (via CBFS/fw_cfg "bootorder" file) * Support T13 EDD3.0 spec * Improved bounds checking on PCI memory allocation * Several bug fixes
For information on obtaining SeaBIOS, please see:
-Kevin