4 Nov
2026
4 Nov
'26
4:24 p.m.
As previously discussed on this list and at the summit, here now the more detailed Request for Comments on removing support for IA-32 in seL4 https://github.com/seL4/rfcs/pull/44 Since there has only been confirmation that nobody is using seL4 on IA-32, I would even propose to already remove support in the next release without a longer deprecation phase. If there are any concerns, please do comment on the RFC. Cheers, Gerwin