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