xref: /optee_os/core/arch/arm/kernel/sub.mk (revision 188f5aa50bfc8ffd6f40b2c8246209b07a6633b9)