It's been done for the OS (vis a vis seL4[0]), why not take a similar approach for the hardware? CSIRO[1] would happily take the funding! [0] https://github.co

It's been done for the OS (vis a vis seL4[0]), why not take a similar approach for the hardware? CSIRO[1] would happily take the funding! [0] https://github.com/NICTA/seL4 https://github.com/NICTA/seL4 [1] https://ts.data61.csiro.au/ https://ts.data61.csiro.au/