Re: [SeaBIOS] [Qemu-devel] GSoC: Xen.org project to implement PV driver frontend for SeaBIOS