xref: /optee_os/core/arch/riscv/kernel/sub.mk (revision c7f1b4f7881fded88ca7b5bffc8cc47b94c07dd5)