I think seL4 didn't yet have multicore support when zircon was forked from LK, c... | Hacker News

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

		anp on June 10, 2020 \| parent \| context \| favorite \| on: SeL4 is verified on RISC-V I think seL4 didn't yet have multicore support when zircon was forked from LK, could be wrong.

cmrdporcupine on June 10, 2020 [–]

Thanks. That seems reasonable.

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