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