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