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