I haven't pushed on the SEABIOS changes for IPMI, and the changes for
qemu for BIOS support are quite small, anyway.  So I've separated out
those changes; here's the driver without BIOS table support.

-corey


Reply via email to