The seL4 Foundation welcomes the open-sourcing of core components of KataOS created by our Member Google. KataOS is based on seL4 and implemented mostly in the Rust programming language. KataOS is to be combined with a secure hardware platform on the RISC-V architecture.
This is an exciting addition to the seL4 ecosystem that will ease deployment of seL4-based systems. It also adds improved support for running Rust programs on seL4, which is a hot topic in the seL4 community.
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
