August 2026 - Devel - lists.sel4.systems

Are there any users of 32bit seL4/x86 left?
by Gerwin Klein 24 Aug '26

24 Aug '26

Before I write up a proper RFC for this, a poll: Is anybody still using the 32-bit x86 support of seL4? Given that Microkit only supports x64 and even most Linux distributions have removed support for 32 bit x86, my impression is that this port is now mostly unused. Since it is a maintenance burden, it would make sense to phase out support for it in seL4 so there is more time available to concentrate on newer hardware. If you don’t want to reply publicly for some reason, it’s fine to email me privately. No matter the outcome, there will be an official RFC with the usual comment period before anything is decided. Cheers, Gerwin

1 0

seL4 security proofs now complete on AArch64
by June Andronick 24 Aug '26

24 Aug '26

The verification of seL4 on the 64-bit Arm architecture has reached another milestone. After completing the proofs of functional correctness and integrity, Proofcraft has now established the proof that seL4 enforces confidentiality on AArch64, providing a formal mathematical proof that the kernel prevents an application running on top of seL4 from learning information without authorisation. This milestone completes the formal proof that the seL4 implementation code on AArch64 enforces security isolation of the applications running on top (under the assumptions listed here [0]). This isolation prevents attacks on non-critical applications from propagating to critical applications and compromising them. https://proofcraft.systems/news-2026/#2026-08-21 [0] https://sel4.systems/Verification/assumptions.html June

1 0

seL4 developer hangout reminder
by Birgit Brecknell 16 Aug '26

16 Aug '26

Hi all A friendly reminder that the seL4 developer hangout is on again this week. Wed 19 Aug, 8:00 UTC For your local date and time please see https://sel4.systems/stay-informed.html#calendar 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 bbrcknl(a)gmail.com

1 0

seL4 developer hangout reminder
by Birgit Brecknell 02 Aug '26

02 Aug '26

Hi all A friendly reminder that the seL4 developer hangout is on again this week. Tue 4 Aug, 22:00 UTC For your local date and time please see https://sel4.systems/stay-informed.html#calendar 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 bbrcknl(a)gmail.com

1 0