“Trustworthy Systems Research Is Done” – Are You Kidding, Csiro? (microkerneldude.wordpress.com)