What is the differece between rumprun on sel4 and rumprun on hypervisor(such as xen)?

[wjhtinger]

If the rumprun only use sel4's hypervior？

[lsf37]

seL4 is higher assurance, otherwise I don't think there is that much difference from the rumprun perspective.

From the other side, rumprun is a nice way of using existing drivers and code in an seL4-based system, which is very attractive for an incremental path to getting systems up and running on seL4.