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