seL4 is an attractive platform for building highly resilient systems, but to do so requires a fair degree of understanding of the technology. Fortunately, help is available from a growing number of community members offering products that ease system development and assurance, and provide training, consulting and development services around seL4.
The Foundation is working with members on developing certification schemes for services, training and products. Until these are in place, we provide interim endorsements, which are based on a fast and relatively shallow assessment. Interim endorsements are available to seL4 Foundation members only and will lapse once the (thorough) certification schemes are in place. We will support members with interim endorsements in achieving full certification. Certification will be open to anyone.
The certification (for now endorsement) will indicate:
|
Advanced Operating Systems at UNSW COMP9424 “Advanced Operating Systems” (AOS) is a highly advanced course at UNSW Sydney, taught since 1997. Since 2011 the course has been based on seL4, and as of 2020, recordings of all seL4-related lectures are available on YouTube. UNSW's AOS has received interim endorsement as seL4 training.
Note that this is a full-trimester course where students learn about microkernels in general, and seL4 in particular, in great detail. This means that the lecture material goes to much greater depth than is appropriate for a day- or week-long training session. Keep this in mind when trying to base your own training on AOS! |
No product has been endorsed or certified at this stage.
Consider adding yours!
See process here.