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