Skip to main content
In the News

Bavarian RISC-V Security Chip With seL4 Microkernel | Christof Windeck, Heise

By February 9, 2020April 28th, 2021No Comments

The open source microkernel seL4 has been formally verified and is therefore considered to be particularly secure. The Munich start-up Hensoldt Cyber is developing a security chip with the disclosed RISC-V core Ariane from ETH Zurich, which is to run with seL4. It is intended for devices with particularly high security requirements, including weapon systems, critical infrastructures (KRITIS) and vehicles.

Stay Connected With RISC-V

We send occasional news about RISC-V technical progress, news, and events.