kumquat-buildroot/boot/optee-os
..
Config.in
optee-os.hash
optee-os.mk