I love where this work is going and I really enjoyed your ixy project.

I see no mention of Dune [0] in the bibliography. Given the narrow focus of this research I think it is required.

Once processors are tuned for cloud workloads, they will have the affordances that will make full blown operating systems optional.

[0] http://dune.scs.stanford.edu/belay:dune.pdf