Makatea[0] is trying to do something like that. 0. https://trustworthy.systems/p... | Hacker News

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

		snvzz on May 6, 2023 \| parent \| context \| favorite \| on: ACM Software System Award Given to seL4 Microkerne... Makatea[0] is trying to do something like that. 0. https://trustworthy.systems/projects/TS/makatea

neodypsis on May 7, 2023 [–]

Sea also: https://genode.org/about/challenges#Virtualization

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