Yeah, Graphene on seL4 might be a more practical path for running legacy apps. <a href="http:&#x2F;&#x2F;graphene.cs.stonybrook.edu&#x2F;" rel="nofollow">http:&#x2F;&#x2F;graphene.cs.stonybrook.edu&#x2F;</a>