Data61 ports seL4 microkernel to RISC-V architecture
“RISC-V, through its openness and greenfield design, provides an opportunity for re-thinking the hardware-software stack,” said Professor Gernot Heiser, … the combination of seL4 and RISC-V to provide a compelling security solution for the next-generation Internet of Things and cyber-physical systems.
from Google Alert - web hosting Filed under: Web Hosting