heise online Ticker
233 subscribers
72.7K links
News rund um IT und darüber hinaus

Powered by @DerNewsChannel
Download Telegram
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․