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.
