Australian-developed secure microkernel takes to the skies

UAE's SSRC works with UNSW to put seL4 on drones and phones.

Source