Maybe anyone is interested in this (I see it in today's news about 0x10c cancelation):
Project Trillek http://trillek.org/ wants to bring to life the ideas of Notch's 0x10c. The chosen licenses are the GPL and the LGPL for the code and CC-BY-NC for the rest. The source repository is here https://github.com/trillek-team.
It's a very ambitious project that's just started, but who knows...