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