3 ms·
SeL4 was developed by NICTA, which was a fairly recent research organisation (opened in 2003) funded by the Australian federal government, but distinct from CSI
by shoo 6y ago
SeL4 was developed by NICTA, which was a fairly recent research organisation (opened in 2003) funded by the Australian federal government, but distinct from CSIRO. Indeed, NICTA has since been defunded by the government and the remnants absorbed into the "data61" unit of CSIRO: https://en.wikipedia.org/wiki/NICTA https://en.wikipedia.org/wiki/NICTA
re: CSIRO and WiFi, there is some controversy around that: https://en.wikipedia.org/wiki/CSIRO#802.11_patent https://en.wikipedia.org/wiki/CSIRO#802.11_patent
- garmaine 6y agoThere's no controversy in that linked section of the Wikipedia article. It seems to assume the patent was valid. The only controversy is over whether free and fair licenses were available as they promised the standards body..
- nl 6y agoMuch of the NICTA/CSIRO/Data61 thing was internal politics: CSIRO doesn't like the federal government funding other research organisations.