xref: /optee_os/core/arch/arm/kernel/sub.mk (revision 8c7a7b43fa100d091e3db38f76434f31eb42272d)