I've taken a few classes with some of the authors of this project and they are all amazingly talented. I remember Alex gave a presentation about a year ago on this and he mentioned how hard it was for them to wedge C++ into the Linux kernel just so they could get I/O Kit to work. It was also awesome to see the iOS Stocks app running on a Nexus 7. From what I saw it worked pretty well and aside from the uncanniness of the whole experience, it was pretty amazing to see a fully-working demo. Keep up the good work guys.