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