Open Source
Sicherer Mikrokernel seL4 für RISC-V
Australische Wissenschaftler haben den sicheren Open-Source-Mikrokernel seL4 für die RISC-V-ISA impelementiert – und die Implementierung jetzt erfolgreich verifiziert. Ihre Arbeit wurde von einem deutschen Unternehmen bezahlt.