Hi Team,

Request you to add support for am67a beagleY-AI board. Let me know if i can help in any way for the same.

Thanks & Regards, Anand Mohan Tiwari (M) +91 82 99106839 (M) +91 87 65696940

On Mon, 7 Jul 2025 at 12:45 PM, ANAND MOHAN Tiwari < anandmohantiwari94@gmail.com> wrote:

Hi Jens,

Thanks for the confirmation. I’ll report this to optee. How we can make sure to get its support added ??

Thanks & Regards, Anand Mohan Tiwari (M) +91 82 99106839 (M) +91 87 65696940

On Mon, 7 Jul 2025 at 12:19 PM, Jens Wiklander jens.wiklander@linaro.org wrote:

...

Hi Anand,

https://github.com/OP-TEE/optee_os/issues/ is the best place to report issues like this, or possibly op-tee@lists.trustedfirmware.org.

Anyway, from the source code, it looks like k3-am67a isn't supported.

Cheers, Jens

On Mon, Jul 7, 2025 at 8:34 AM ANAND MOHAN Tiwari anandmohantiwari94@gmail.com wrote:

...

Dear All,

This is to bring your attention towards compilation issue faced by me

for k3-am67a board. I can see compilation works till PLATFORM=k3-65x for optee_os but when i tried compiling the same am67x it throws core/arch/arm/plat-k3/drivers/sa2ul.c:36 error: ‘SA2UL_BASE’ undeclared here same error is thrown for SA2UL_TI_SCI_FW_ID,

...

SA2UL_TI_SCI_FW_RGN_ID, SA2UL_TI_SCI_DEV_ID,

core/arch/arm/plat-k3/./platform_configs.h:91 ‘SA2UL_BASE’ undeclared

Not sure whom to contact to report this but i found these mails in

commit messages. Request you to check on this or let me know if I’m missing something

...

Tried below steps.

git clone -b 11.01.03

https://github.com/beagleboard/ti-linux-firmware.git --depth=1

...

git clone -b lts-v2.12.4

https://github.com/TrustedFirmware-A/trusted-firmware-a.git --depth=1

...

make -C ./trusted-firmware-a/ -j4 CROSS_COMPILE=${CC64} PLAT=k3

ARCH=aarch64 SPD=opteed TARGET_BOARD=lite all

...

git clone -b 4.6.0 https://github.com/OP-TEE/optee_os.git --depth=1

make -C ./optee_os/ -j4 CROSS_COMPILE=${CC32} CROSS_COMPILE64=${CC64}

CFG_ARM64_core=y PLATFORM=k3-am62x all ————-> working

...

make -C ./optee_os/ -j4 CROSS_COMPILE=${CC32} CROSS_COMPILE64=${CC64}

CFG_ARM64_core=y PLATFORM=k3-am65x all ————-> working till this but tried for compiling below

...

make -C ./optee_os/ -j4 CROSS_COMPILE=${CC32} CROSS_COMPILE64=${CC64}

CFG_ARM64_core=y PLATFORM=k3-am67x all ————-> not working also tried by putting k3-am67a —this my board beagleY-AI

...

Let me know if I’m missing something or we need to follow different

procedures apart from above

...

Thanks in advance. You can reach out me via below numbers or reply on

same email.

...

Thanks & Regards, Anand Mohan Tiwari (M) +91 82 99106839 (M) +91 87 65696940