Bayrischer RISC-V-Sicherheitschip mit seL4-Microkernel
 

Bayrischer RISC-V-Sicherheitschip mit seL4-Microkernel

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

Weiterlesen...