[seL4 Announce] SpacemiT joins the seL4 Foundation

The seL4 Foundation is pleased to welcome SpacemiT!

SpacemiT, a semiconductor innovation company focusing on high-performance RISC-V architecture chips, announced that it has officially joined the seL4 Foundation. SpacemiT will work closely with seL4 to promote RISC-V+seL4 and will also focus on the security and performance of the operating system, thus assuring confidence in the security of the RISC-V architecture.

---

Dr. Birgit Brecknell

Project Officer

Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au

seL4 Foundation, birgit@sel4.systemsmailto:birgit@sel4.systems

0433 880 571

Mon 9am-5pm

Wed 9am-12pm

Fri 9am-5pm