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