xref: /optee_os/core/arch/arm/kernel/sub.mk (revision 453a503090e315c0927146614797cf8aea49427c)