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