acrn-kernel/arch/arm/firmware
..
Kconfig
Makefile
trusted_foundations.c