University of NSW gives dumped Data61 seL4 research group funding lifeline | Heykuki News