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