A pretty cool video on seL4 where they give the red team root access on a Linux VM running inside of seL4, which controls a helicopter.

https://www.youtube.com/watch?v=6s5FDX5PkZI