I would like you to consider GPLv3+. Thanks and congrats on amazing work!

In a case like this, the more important licensing question is that of the x86 instruction set; I do not know what the strict licensing situation would be with that—it's quite possible (probable, actually) that this is technically illegal.

For the software part, why would you advocate GPLv3+ over permissive licenses like MIT/BSD/Apache?

I'd love to be able to use this to host a coreboot showcase. Open Source licensing would certainly help there.

... Since you're using seabios, I guess its bringup is relatively close to qemu's?

Awesome - congrats on a very impressive hack.