The seL4 Summit is the annual international summit on the seL4 microkernel, the world’s most highly assured OS kernel, as well as on all seL4-related technology, tools, infrastructure, products, projects, and people.
Join us at seL4 Summit 2025 and we will share our latest innovations – World’s first 50 TOPS DC-ROMA RISC-V AI PC with modular and upgradable design.
Porting seL4 to the RISC-V SoC, toward a Secure and High-Performance RISC-V AI Platform
