Bayrischer RISC-V-Sicherheitschip mit seL4-Microkernel
[ad_1]
Hensoldt Cyber entwickelt einen Chip für hohe Sicherheitsanforderungen mit RISC-V-Kernen und formal verifiziertem Microkernel.
[ad_2]
Read more on: Source
[ad_1]
Hensoldt Cyber entwickelt einen Chip für hohe Sicherheitsanforderungen mit RISC-V-Kernen und formal verifiziertem Microkernel.
[ad_2]
Read more on: Source