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