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

Hi Menna,

On 7/12/23 13:39, Menna Mahmoud wrote:

...

To install the correct kernel and device tree you need to mount the "boot-fat.uefi.img" image as follows:

--->8---

$ cd <optee-project>/out $ mkdir -p mnt $ sudo mount -o loop boot-fat.uefi.img mnt/ $ cd mnt

--->8---

Copy here your OPTEE patched Image and dtb files making sure that they are named "Image" and "fvp.dtb".

Should I copy "Image" and "fvp.dtb" ? and where? I copied them to <optee-project>/out, Is it right?

You need to mount the "boot-fat.uefi.img" as per instructions above and copy your kernel and fvp dtb inside it.

Let us know.