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