Comment by roca Comment by roca 10 months ago 3 replies Copy Link View on Hacker News Is there a verified SeL4 that supports multi-core yet?
Copy Link tkz1312 10 months ago Collapse Comment - multicore sel4 is implemented but still unverified:https://docs.sel4.systems/projects/sel4/frequently-asked-que... Reply View | 2 replies Copy Link roca 10 months ago Parent Next Collapse Comment - 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, Reply View | 0 replies Copy Link cmrx64 10 months ago Parent Prev Collapse Comment - I guess https://github.com/seL4/l4v/tree/rt is the ongoing verification work for that Reply View | 0 replies
Copy Link roca 10 months ago Parent Next Collapse Comment - 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, Reply View | 0 replies
Copy Link cmrx64 10 months ago Parent Prev Collapse Comment - I guess https://github.com/seL4/l4v/tree/rt is the ongoing verification work for that Reply View | 0 replies
multicore sel4 is implemented but still unverified:
https://docs.sel4.systems/projects/sel4/frequently-asked-que...