They also have some folks working on Akaros. http://akaros.cs.berkeley.edu