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