Comment by roca Comment by roca a year ago 3 replies Copy Link View on Hacker News Is there a verified SeL4 that supports multi-core yet?
Copy Link tkz1312 a year 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 a year 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 a year 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 a year 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 a year 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...