This article touched on something that's bothered me about Xen: We don't have a secure dom0 OS. It'd be encouraging if there were some work to take something mo

This article touched on something that's bothered me about Xen: We don't have a secure dom0 OS. It'd be encouraging if there were some work to take something more secure than the average OS (for some value of secure, anything from Minix 3 to seL4 would probably be much better than what we have now) and make it a full-featured dom0 option. Dom0 disaggregation has the potential to help, but there's going to have to be a tremendous amount of wheel reinvention in safe languages to provide the safety and features everyone needs.