Also: https://wiki.freebsd.org/FreeBSD/Xen
I think that funding whatever is required here would be fantastic. The move to VPSs has forced me to also move to Ubuntu for what I host 'in the cloud', and I'd love to move back to FreeBSD.
That's why I haven't asked the foundation directly. :) When I made my annual donation to them this year I expressed my desire to see FreeBSD on EC2, but I don't want to start dictating what they should be doing.
If those committers are interested in furthering it via funding -- something you can only establish by talking to the foundation et al -- then everyone wins! :)
How do I "talk to the foundation"? ie. What's the best way to bring this up with them.
board [at] freebsdfoundation.org
and/or
cperciva [at] FreeBSD.org