Running unikernels on SEL4 is a perfectly sane thing to do. SEL4 does not provid... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		justincormack on Jan 22, 2016 \| parent \| context \| favorite \| on: Unikernels are unfit for production 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 on Jan 22, 2016 | [–]

This would be awesome. Running unikernels on top of a formally verified layer sounds really interesting.

hinkley on Jan 22, 2016 | [–]

I 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 on Jan 23, 2016 | [–]

Same here.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact