xref: /optee_os/core/kernel/sub.mk (revision 1a490fe78aa57c04afcc2dc2ee6fcbcb8294ce0f)