xref: /optee_os/core/kernel/sub.mk (revision 135f53feef215a704c0f98879db3ab3014ec3399)