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