Hi all
A friendly reminder that the seL4 developer hangout is on again this week.
- Wed 11 Nov, 7:00 UTC
For your local date and time please see https://sel4.systems
/stay-informed.html#calendar
Note: seL4 Developer Hangout now uses Jitsi
To start the meeting, please login (e.g. using google or github
credentials). Once the meeting has started, anyone with the link can join.
Jitsi link: https://meet.jit.si/seL4DeveloperHangout
--
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
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
