On 11/07/2023 13:14, Menna Mahmoud wrote:
>
>     More importantly, did you have the chance to test OP-TEE?
>
>
> No, I didn't. I just enabled it and then built the kernel. I want to
> test it but when trying to insert  
> OP-TEE module, I got this error:
> ```
> root@morello:~# lsmod
> Module                  Size  Used by
> root@morello:~# insmod optee.ko
> insmod: ERROR: could not load module optee.ko: No such file or directory
> root@morello:~# modprobe OP-TEE
> modprobe: FATAL: Module OP-TEE not found in directory
> /lib/modules/6.1.0OPTEE-Test-g1eebcc168af4-dirty
>
> ```
> I found it should be loaded by default but I don't why I couldn't find
> it with `lsmod`?

Assuming you selected CONFIG_TEE=y and CONFIG_OPTEE=y, there's no module
to load since they are built-in. You should see something  I would
recommend doing it this way rather than using =m and loading the modules
separately, as that requires copying them into the root filesystem at
the right location.

> I found that I should build OP-TEE first in the kernel [1]
>
> But need to double-check with you, Is it correct? if yes, should I
> follow the steps related to FVP?
> and according to our discussion here [2], should I install the
> prerequisites [3] in the Morello-Linux container, 
> and this step [4] will be in the workspace dir, then build it in the
> Morello-Linux container? if yes, should I use the `mount` command 
> to do this or what?
> or everything will be in the Morello-Linux container?
> or are all these not needed and there is another way?

I don't have any experience with OP-TEE so I'm afraid I can't help with
the specifics. It seems to me that those instructions are about building
OP-TEE and you should probably do that on the host. As to running it on
FVP, there is something about that here [1], but I'm not sure directly
that would apply to Morello_FVP. You might need changes to the device
tree, for instance.

Kevin

[1] https://optee.readthedocs.io/en/latest/building/devices/fvp.html