Relevant wiki page for those who are finding it difficult to follow the slides: http://wiki.xenproject.org/wiki/Unikernels