Newsfeed
Nachrichtenbote
Hensoldt Cyber entwickelt einen Chip für hohe Sicherheitsanforderungen mit RISC-V-Kernen und formal verifiziertem Microkernel.
Weiterlesen...
[Heisec] Bayrischer RISC-V-Sicherheitschip mit seL4-Microkernel
- Ersteller Newsfeed
- Erstellt am
Hensoldt Cyber entwickelt einen Chip für hohe Sicherheitsanforderungen mit RISC-V-Kernen und formal verifiziertem Microkernel.
Weiterlesen...