As @colechristensen mentioned, you should contact cperciva (Colin Percival) about this -- he's already been doing some work on FreeBSD's Xen support and IIRC he's already talked to some people at AWS about "officially" supporting FreeBSD on EC2. I haven't heard anything for a while though, so perhaps you could use your contacts to get things moving (or moving faster).
EDIT: You might be interested in reading/joining the 'freebsd-xen' and 'freebsd-virtualization' mailing lists:
http://lists.freebsd.org/pipermail/freebsd-xen/
http://lists.freebsd.org/mailman/listinfo/freebsd-virtualiza...
I'm very interested in this, too. I've just begun using elance to find FreeBSD coders. I have a six-figure budget for various projects in the next three months. I would love to have some great projects coded and returned to the community, but finding vetted, high-quality FreeBSD coders hasn't been easy (on myself as an executive.) It would be most helpful if an organization, like the FreeBSD Foundation , were able to offer me an avenue to fund projects of interest to my organization (and the community.)
http://aws.typepad.com/aws/2012/11/aws-marketplace-additiona...
"These operating systems come directly from the Open Source community and are available at no charge other than the usual cost for the EC2 instances. You can find them in the Operating Systems section of the Marketplace"
What I mean by first class is that it will run on every instance type, including a micro, so I can make a FreeBSD shellhost for $8/mo, for example.
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
If someone makes a project that is basically "work with Amazon and FreeBSD to make FreeBSD a first class citizen on EC2" I would totally put money into that, and moreso, would use my deep contacts at Amazon to help make the project a reality.
From what I understand, the technical part of the project is basically making the kernel and the hypervisor play nice.