xref: /optee_os/core/arch/arm/kernel/sub.mk (revision 68c953b9c7466b9d16464acf8ba17f27f10e55f9)