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