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