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