/kernel/arch/arm/firmware/

• ../
• Kconfig
• Makefile
• trusted_foundations.c