Hi all Unfortunately we've had to cancel the seL4 hangout today. It will be on again in a fortnight. Sorry for the late message. cheers Birg -- Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems bbrcknl@gmail.com