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
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:email@example.com>
seL4 Foundation, birgit(a)sel4.systems<mailto:firstname.lastname@example.org>
0433 880 571