I'd be curious how this compares to the straight Linux kernel, as well as other kernels. Even basic metrics like KLOC would be interesting.

If no one gets to it, I'll drink a pot or three of coffee and publish it myself.