Hello, Is it possible to boot Barrelfish in XEN hypervisor? Best regards, Nitu Vlad-Tiberiu -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20151007/2d3f096a/attachment.html>