|
Nachrichten: Bayrischer RISC-V-Sicherheitschip mit seL4-MicrokernelWindows 7 Nachrichten zum Thema PC-Sicherheit |
05.02.2020, 17:50 | #1 |
Administrator | 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... |