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