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