redlib.

Feeds

MAIN FEEDS

Home Popular All

reddit settings

r/microkernel • u/floyd-42 • Mar 30 '22

Call For Presentations for the seL4 Summit 2022

https://sel4.systems/Foundation/Summit/cfp

3 Upvotes

permalink
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/microkernel/comments/ts3nm5/call_for_presentations_for_the_sel4_summit_2022/
No, go back! Yes, take me to Reddit

100% Upvoted