xref: /optee_os/core/kernel/sub.mk (revision 75200110483dcee11cdcf4cef3d0ac4d92f63c14)