[seL4] seL4 + TrustZone: Spanning both worlds