Anil Madhavapeddy's work on unikernels is also quite interesting to look at.