SeL4 is verified on RISC-V
Just a reminder that the government of Australia has continued to cut CSIRO funding, the national science agency of Australia that invented&#x2F;funded SeL4 (amongst WiFi and other things).<p><a href="https:&#x2F;&#x2F;www.smh.com.au&#x2F;national&#x2F;australia-risks-brain-drain-as-csiro-flounders-20190918-p52sl7.html" rel="nofollow">https:&#x2F;&#x2F;www.smh.com.au&#x2F;national&#x2F;australia-risks-brain-drain-...</a><p><a href="https:&#x2F;&#x2F;www.csiro.au&#x2F;en&#x2F;News&#x2F;News-releases&#x2F;2020&#x2F;seL4-developers-create-open-source-foundation" rel="nofollow">https:&#x2F;&#x2F;www.csiro.au&#x2F;en&#x2F;News&#x2F;News-releases&#x2F;2020&#x2F;seL4-develop...</a>