I'll put it online soon. I haven't figured licensing out yet and need to write some technical notes
For the software part, why would you advocate GPLv3+ over permissive licenses like MIT/BSD/Apache?
... Since you're using seabios, I guess its bringup is relatively close to qemu's?