On Thu, Jun 13, 2019 at 06:17:14PM +0300, Jarkko Sakkinen wrote:

On Thu, Jun 13, 2019 at 06:12:57PM +0300, Jarkko Sakkinen wrote:

quoted

On Thu, Jun 13, 2019 at 04:00:27PM +0530, Sumit Garg wrote:

quoted

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 <redacted>

Just out of pure interest why this was not allowed before?

Please spare me and ignore that one :-) Obviouslly because it
was not used.

Acked-by: Jarkko Sakkinen <redacted>

Actually,

Reviewed-by: Jarkko Sakkinen <redacted>

/Jarkko