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> Reviewed-by: Jens Wiklander <jens.wiklander@xxxxxxxxxx> Thanks, Jens
