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