[linux-morello] Re: [PATCH] tee: change type 'unsigned long' to 'user_uintptr_t' in 'tee_ioctl' function

Hi Menna,

[...]

...

Can you please tell me what 'uname -a' shows?

here you are the output: https://paste.pics/OT6A1

This is not the signature of our kernel hence you are not booting the Image that you are building from our tree. Please make sure that you replace the default one.

Thanks, Vincenzo

...

Thanks, Vincenzo

...

Regards, Menna

...

...

-- Regards, Vincenzo

Thanks, Menna