xref: /optee_os/core/arch/arm/kernel/sub.mk (revision 044b1b7928ce7cd0a3150c02d9b2cce7d1c122da)