Re: [Tee-dev] [RFC v2 2/6] tee: enable support to register kernel memory