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