​​​Bayrischer RISC-V-Sicherheitschip mit seL4-Microkernel
#Hensoldt #LinuxundOpenSource #Prozessoren #RISCV #Sicherheitschip #microkernel #sel4

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

​​​​​Microsoft Pluton: Sicherheits-Controller für AMD-, Intel- und ARM-Prozessoren
#Firmware #Microsoft #SecureBoot #Sicherheit #Sicherheitschip #TrustedPlatformModule

Künftige Windows-PCs bekommen ein fest im Prozessor eingebautes Microsoft-Sicherheitsmodul unter anderem als Firmware-Schutz․

​​​​​Google Pixel 6: RISC-V-Kern im Sicherheitschip Titan M2
#GooglePixel #GoogleTitan #Sicherheitschip #TPM

In den neuen Smartphones Pixel 6 und Pixel 6 Pro setzt Google den selbst entwickelten Sicherheitschip Titan M2 mit RISC-V-Technik ein․