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