3 ms·
This was presented in 2020-01, where proof was “due Q1’20”. FYI, Proof got finished in 2020-06: https://microkerneldude.wordpress.com/2020/06/09/sel4-is-verifie
by sanxiyn 6y ago
This was presented in 2020-01, where proof was “due Q1’20”. FYI, Proof got finished in 2020-06: https://microkerneldude.wordpress.com/2020/06/09/sel4-is-verified-on-risc-v/ https://microkerneldude.wordpress.com/2020/06/09/sel4-is-ver...