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