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
There'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..
re: CSIRO and WiFi, there is some controversy around that: https://en.wikipedia.org/wiki/CSIRO#802.11_patent