
<html><body><div style="color:#000; background-color:#fff; font-family:HelveticaNeue-Light, Helvetica Neue Light, Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif;font-size:16px"><div id="yui_3_16_0_1_1444199544728_15071"><span id="yui_3_16_0_1_1444199544728_15143">Hello,</span></div><div id="yui_3_16_0_1_1444199544728_15088"><br><span></span></div><div id="yui_3_16_0_1_1444199544728_15126"><span id="yui_3_16_0_1_1444199544728_15127">Is it possible to boot Barrelfish in XEN hypervisor?</span></div><div id="yui_3_16_0_1_1444199544728_15050"><div id="yui_3_16_0_1_1444199544728_15131"> </div><div id="yui_3_16_0_1_1444199544728_15144">Best regards,<br></div></div><div id="yui_3_16_0_1_1444199544728_15129" class="signature">Nitu Vlad-Tiberiu</div></div></body></html>