Well, I think it's an interesting idea in itself to build a full operating syste... | Hacker News

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

		segfaultbuserr on April 7, 2020 \| parent \| context \| favorite \| on: The SeL4 Foundation: What and Why Well, I think it's an interesting idea in itself to build a full operating system based on a secure kernel, even if it's server/CLI only, runs in a virtual machine as a prototype (think GNU Hurd). Isn't it?

tptacek on April 7, 2020 [–]

If you're going to build a new OS, sure. That's how you should think of L4: as a toolkit for building new operating systems.

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