Re: [Tee-dev] [RFC PATCH 0/2] TEE driver for AMD APUs