Gernot Heiser, NICTA, University of New South Wales, and Open Kernel Labs