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