FUNKY GREEN
Total Pageviews
Tuesday 9 June 2020
Data61's seL4 security enforcement now available to the RISC-V ecosystem
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
via
IFTTT
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment