xref: /optee_os/core/arch/riscv/plat-spike/conf.mk (revision 7910f4d89008cedd0176c4091bb8b8c17812a003)