Are there any projects anywhere developing a microkernel with a capability secur... | Hacker News

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

		SkyMarshal on May 5, 2021 \| parent \| context \| favorite \| on: SeL4 on RISC-V Verified to Binary Code Are there any projects anywhere developing a microkernel with a capability security model?

y7 on May 5, 2021 [–]

Yes, the seL4 project that is being discussed.

SkyMarshal on May 7, 2021 | [–]

Oh, duh, thx. I hear linux and automatically think monolithic kernel.

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