xref: /optee_os/core/kernel/sub.mk (revision 3d3b05918ec9052ba13de82fbcaba204766eb636)