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