Move serial to 0x4000_0000

This commit is contained in:
Rodrigo Arias 2024-07-12 18:25:14 +02:00
parent bed3c7ba5c
commit 444bb635f6
2 changed files with 15 additions and 2 deletions

View File

@ -2437,3 +2437,16 @@ So we have several changes.
First, the PLIC has a new memory map. Let's comment it out in the device tree,
and see what happens.
Hangs in the same place, but now we don't have the 0x40800000 region with
OpenSBI 1.4 generic:
Domain0 Region00 : 0x0000000040001000-0x0000000040001fff M: (I,R,W) S/U: (R,W)
Domain0 Region01 : 0x0000000080040000-0x000000008005ffff M: (R,W) S/U: ()
Domain0 Region02 : 0x0000000080000000-0x000000008003ffff M: (R,X) S/U: ()
Domain0 Region03 : 0x0000000000000000-0xffffffffffffffff M: () S/U: (R,W,X)
Domain0 Next Address : 0x0000000080200000
Domain0 Next Arg1 : 0x0000000080100000
Let's try to move the serial region to 0x40000000, although that seems to be
wrong.

View File

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