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