Switch OpenSBI to generic

This commit is contained in:
Rodrigo Arias 2024-07-12 18:53:16 +02:00
parent c38edfe737
commit 8725d04533
2 changed files with 4 additions and 2 deletions

View File

@ -2549,4 +2549,6 @@ With 0x80013000 we seem to enter OpenSBI code region.
Let's try with openpiton again, without the FDT address. We should disable the
secondary console from the DT too.
No output, lets enable the PLIC again in the DT.
No output, lets enable the PLIC again in the DT. Same.
Probably we have a better chance to fix it in the generic platform.

View File

@ -312,7 +312,7 @@
};
#NIX_DEBUG=5;
makeFlags = [
"PLATFORM=fpga/openpiton"
"PLATFORM=generic"
#"CONFIG_SBI_ECALL_RFENCE=n"
#"PLATFORM_RISCV_ISA=rv64imafd" # No compressed instructions
#"PLATFORM_RISCV_ISA=rv64g" # No compressed instructions