xref: /optee_os/core/kernel/sub.mk (revision 03c42787bbb0d574300fdc79ef82316837aef3a3)