You might also find these interesting:

- Akaros, an OS for manycore systems: http://akaros.org/news.html

- VMThreads, an interesting paper on scheduling challenges, related to Akaros: https://iwp9.org/11iwp9proceedings.pdf