On Thu, Jun 13, 2019 at 04:00:27PM +0530, Sumit Garg wrote: > Kernel pages are marked as normal type memory only so allow kernel pages > to be registered as shared memory with OP-TEE. > > Signed-off-by: Sumit Garg <sumit.garg@xxxxxxxxxx> Just out of pure interest why this was not allowed before? /Jarkko