xref: /optee_os/core/kernel/sub.mk (revision 3513f2697ad48668328c6a74621d3acf05b33fd3)