There is now a skeletal version of Planck that builds on Linux, based on a small C core for the native portion.
Lucas Stadler contributed the C-based kernel and surrounding build infrastructure. 🙂