Revert serial address and move FDT

This commit is contained in:
Rodrigo Arias 2024-07-12 18:28:43 +02:00
parent 444bb635f6
commit d3779d0f95
3 changed files with 8 additions and 3 deletions

View File

@ -2450,3 +2450,8 @@ OpenSBI 1.4 generic:
Let's try to move the serial region to 0x40000000, although that seems to be Let's try to move the serial region to 0x40000000, although that seems to be
wrong. wrong.
Yep, that causes OpenSBI to not emit any message in the console, so let's put it
back in 0x40001000.
Next, we may want to place the FDT in the previous location, at 0x80017000.

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=0x80100000" "FW_PAYLOAD_FDT_ADDR=0x80017000"
]; ];
patches = [ patches = [
#./opensbi-timer-debug.patch #./opensbi-timer-debug.patch

View File

@ -118,9 +118,9 @@
* consoles */ * consoles */
/* The serial for the kernel console */ /* The serial for the kernel console */
uart_console: serial@40000000 { uart_console: serial@40001000 {
compatible = "ns16550"; compatible = "ns16550";
reg = <0x0 0x40000000 0x0 0x1000>; reg = <0x0 0x40001000 0x0 0x1000>;
reg-shift = <2>; reg-shift = <2>;
/* No interrupts for this UART, use console=hvc0 */ /* No interrupts for this UART, use console=hvc0 */
/* This clock is the SERIAL_CLK */ /* This clock is the SERIAL_CLK */