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