Re: L4 and ARM TrustZone