Mikrokernen seL4 er matematisk verificeret til RISC-V arkitektur
RISC-V Foundation har annonceret verifikationen af mikrokerne seL4 på systemer med RISC-V kommandosætarkitektur. Verifikationen involverer matematisk bevis for seL4's pålidelighed, hvilket viser, at den fuldt ud overholder de formelle specifikationer. Beviset for pålidelighed muliggør brugen af seL4 i kritiske systemer baseret på RISC-V RV64-processorer, der kræver et højere niveau af pålidelighed og garanterer fravær af fejl.
