​​​Bayrischer RISC-V-Sicherheitschip mit seL4-Microkernel
#Hensoldt #LinuxundOpenSource #Prozessoren #RISCV #Sicherheitschip #microkernel #sel4

Hensoldt Cyber entwickelt einen Chip für hohe Sicherheitsanforderungen mit RISC-V-Kernen und formal verifiziertem Microkernel․