Move FDT to 0xc0000000

This commit is contained in:
Rodrigo Arias 2024-07-12 18:59:48 +02:00
parent 8725d04533
commit 9fac87a00e
2 changed files with 3 additions and 1 deletions

View File

@ -2552,3 +2552,5 @@ secondary console from the DT too.
No output, lets enable the PLIC again in the DT. Same. No output, lets enable the PLIC again in the DT. Same.
Probably we have a better chance to fix it in the generic platform. Probably we have a better chance to fix it in the generic platform.
Let's use a very far away address for the FDT just in case: `0x0_c000_0000`

View File

@ -322,7 +322,7 @@
# Ensure it doesn't overlap from the 0x80200000 where the kernel will be # Ensure it doesn't overlap from the 0x80200000 where the kernel will be
# placed. # placed.
#"FW_PAYLOAD_FDT_ADDR=0x80013000" "FW_PAYLOAD_FDT_ADDR=0xc0000000"
]; ];
patches = [ patches = [
#./opensbi-timer-debug.patch #./opensbi-timer-debug.patch