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