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