/core/arch/arm32/
../
include
kernel
mm
plat-stm
plat-sunxi
plat-vexpress
sm
sta
tee