Home Latest news Data61's seL4 security enforcement now available to the RISC-V ecosystem

Data61's seL4 security enforcement now available to the RISC-V ecosystem

by THE DAILY STAR 8:39 PM

CSIRO has announced the completion of the proof of implementation correctness of the open-source seL4 microkernel for the RISC-V ISA.

from Latest news https://ift.tt/2MFFWBZ

No comments:

Subscribe to: Post Comments ( Atom )