If there was a team that would devote itself to this project, I'd donate some of my time towards helping, it'd just need to be active so work isn't gone to waste. Perhaps we could see what was done so far for khavi and merge the two efforts? Personally, if there are C implementations of the JVM out there, it'd be more of an effort of changing code to support Nspire-C as well as the hardware. Not a complete rewrite of every concept, so, at least on the outside, it doesn't look to be that monumental of an effort to port it. Then again, I didn't get that far into my own attempt due to difficulties figuring out the development environment for Nspire.