Re: [RFC PATCH 0/2] RFC version for ATF and OP-TEE Firewalling