3 ms·
You may be interested in Spectrum OS[1], which is more or less what you're looking for. [1] https://spectrum-os.org/ https://spectrum-os.org/
by flurie 4y ago
You may be interested in Spectrum OS[1], which is more or less what you're looking for.
[1] https://spectrum-os.org/ https://spectrum-os.org/
- LanternLight83 4y agoGlad to see it doesn't stick with Xen, that's really interesting! (if not seL4-interesting)