multicore sel4 is implemented but still unverified: https://docs.sel4.systems/pr... | Hacker News

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

		tkz1312 on Sept 16, 2024 \| parent \| context \| favorite \| on: Ask HN: What runs L4-related microkernels/hypervis... multicore sel4 is implemented but still unverified: https://docs.sel4.systems/projects/sel4/frequently-asked-que...

roca on Sept 26, 2024 | [–]

Hmm, but

> The multicore kernel uses a big-lock approach, which makes sense for tightly-coupled cores that share an L2 cache. It is not meant to scale to many cores,

cmrx64 on Sept 16, 2024 | [–]

I guess https://github.com/seL4/l4v/tree/rt is the ongoing verification work for that

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