xref: /optee_os/core/kernel/sub.mk (revision 185b4595b97588a2eac575168daf128358397c14)