Re: [Tee-dev] shared memory with kernel client interface