4 ms·
Running unikernels on SEL4 is a perfectly sane thing to do. SEL4 does not provide the network stack, or much application interface, so a unikernel is a great th
by justincormack 11y ago
Running unikernels on SEL4 is a perfectly sane thing to do. SEL4 does not provide the network stack, or much application interface, so a unikernel is a great thing to put on top.
- tonyhb 11y agoThis would be awesome. Running unikernels on top of a formally verified layer sounds really interesting.
- hinkley 11y agoI really do feel like at the end of this container experiment we're going to reinvent microkernels. Possibly badly, but I'm hopeful that it won't work out that way.
- pjmlp 11y agoSame here.