NICTA demos drone OS – seL4 microkernel

Loading the player ...

NICTA has created a video that demonstrates how its seL4 microkernel, the “world’s most highly assured OS”, works on drones.