Comparison with seL4
DemiMarie opened this issue · 1 comments
DemiMarie commented
Comparison with seL4
blitz commented
If you are asking how Hedron compares to seL4:
We currently do not aim for formal verification, but for a more modest "simple and tested" goal post. Other than that, Hedron has currently no plans to support any architecture except x86_64. Hedron is probably less complete than seL4 for some workloads, but should have more robust virtualization support. As I said in #1, feel free to drop me an email with more specific questions.