Hi all
A friendly reminder that the seL4 developer hangout is on again this week.
Wed 13 Nov, 7:00am UTC.
For your local date and time please see https://sel4.systems/contact/.
Zoom link: https://unsw.zoom.us/j/82640784431
Birgit Brecknell
seL4 Foundation Project Coordinator
Sydney, Australia
Mon 9-5
Wed 2-5
Fri 9-5
birgit(a)sel4.systems <mailto:birgit@sel4.systems>
bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>
Dear experts,
I am seL4 newbie.
When I changed compile options in seL4/CMakeLists.txt, I got check
errors from "ci-actions/preprocess" check like this one:
https://github.com/seL4/seL4/actions/runs/11682457028/job/32529623251
Can someone teach where I can see details of "ci-actions/preprocess"
check?
Regards,
yf
Hey everyone.
I've created an introductory documentation to seL4’s architecture & concepts.
I thought it would be helpful for anyone interested in seL4 and wanted to share.
The documentation includes many hand-written visualizations to make seL4 (and its abstractions) more accessible to people.
You can access it on GitHub: https://github.com/TunaCici/seL4_Architecture
Hope you enjoy it!
NOTE: I’m sorry if this isn’t the best place to share this. I don’t know of any other active seL4 communities besides the mailing list.
