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