seL4 Microkit officially supported by the seL4 Foundation
The seL4 Microkit [0], formerly known as the Core Platform, is an operating system framework on top of seL4 provides a small set of simple abstractions that ease the design and implementation of statically structured systems on seL4, while still leveraging the kernel’s benefits of security and performance. The Microkit is distributed as an SDK that integrates with the developer’s build system of choice, significantly reducing the barrier to entry for new users of seL4.
The seL4 Microkit was developed in collaboration between Breakaway Consulting Pty Ltd [1] and Trustworthy Systems, UNSW [2], and is now an official seL4 Foundation [3] project, making it part of the seL4 eco-system.
[0] https://docs.sel4.systems/projects/microkit/
[1] https://brkawy.com/
[2] https://trustworthy.systems/
[3] https://sel4.systems/Foundation/
---
Birgit Brecknell
Project Coordinator, seL4 Foundation
birgit(a)sel4.systems<mailto:birgit@sel4.systems>
birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
Mon 9am-5pm
Wed 2pm-5pm
Fri 9am-5pm
Support for Rust in seL4 userspace now available
For the last year, Nick Spinale, funded by the seL4 Foundation [0], has been developing support for the Rust programming language in seL4 userspace.
Nick has created a comprehensive language support infrastructure that integrates well with the rest of the seL4 ecosystem (capDL, Microkit, sel4test) and also integrates well with what Rust programmers would expect from the language side. This work has now been accepted by the seL4 Foundation Technical Steering Committee [1] and can be found on GitHub [2]. Nick’s talk at the recent seL4 summit is on seL4’s Youtube channel [3]. A demo system that uses the device driver framework, asynchronous programming in Rust and library support from the Rust ecosystem to implement a small web server is available on GitHub [4].
The overall outcome will be to allow people to write safer user-level code on top of seL4 without needing full formal verification, with a language that is receiving increasing interest and that aligns extremely well with security and safety critical embedded systems programming.
[0] https://sel4.systems/Foundation/
[1] https://sel4.systems/Foundation/TSC/
[2] https://github.com/seL4/rust-sel4
[3] https://www.youtube.com/watch?v=J17lC124_9s
[4] https://github.com/seL4/rust-microkit-http-server-demo
---
Birgit Brecknell
Project Coordinator, seL4 Foundation
birgit(a)sel4.systems<mailto:birgit@sel4.systems>
birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
Mon 9am-5pm
Wed 2pm-5pm
Fri 9am-5pm