Virtualisation on seL4

Multiple projects exist for using virtualisation with seL4.