Bayrischer RISC-V-Sicherheitschip mit seL4-Microkernel
by from heise online News on (#4YYHC)
Hensoldt Cyber entwickelt einen Chip fi1/4r hohe Sicherheitsanforderungen mit RISC-V-Kernen und formal verifiziertem Microkernel.
External Content
| Source | RSS or Atom Feed |
| Feed Location | http://www.heise.de/newsticker/heise.rdf |
| Feed Title | heise online News |
| Feed Link | https://www.heise.de/ |
| Reply | 0 comments |