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