/ OSS / Bayrischer RISC-V-Sicherheitschip mit seL4-Microkernel

Bayrischer RISC-V-Sicherheitschip mit seL4-Microkernel

Moritz Rosenfeld on February 6, 2020 - 6:57 am in OSS

Bayrischer RISC-V-Sicherheitschip mit seL4-Microkernel

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

Read more on: Source

Comments are disabled