I'm forwarding this question here (tried on Mattermost Trustworthy Systems
group first) hoping someone can put some light on this?
---
Hi, I'm having a look to the vulns (in areas of the kernel that have not
been formally verified) patched in seL4 13.0.0.
We have:
1) "NULL pointer dereference when injecting an IRQ for a non-associated
VCPU on SMP configurations." 2) "On AArch64, when seL4 runs in EL1 the
kernel would fault with a data abort in seL4_ARM_Page_Invalidate_Data and
seL4_ARM_VSpace_Invalidate_Data when the user requested a dc ivac cache
maintenance operation on a page that is not mapped writeable."
Extremely simple question: running version < 13.0.0 on top of Qemu (in
example like https://docs.sel4.systems/projects/sel4webserver/) would it be
vulnerable to any of those?
---
Best,
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.
