I wonder if they're planning to write it in Rust? It would be interesting to see how an OS written in a more modern language than C would turn out - especially since other attempts like Microsoft's Singularity seem to have gone quiet.