Merge "Move sel4 uart to match hw team's memory map (uart3)"

GitOrigin-RevId: e917b6a81c73f04b0520a9d7e9029415387c2c5e
This commit is contained in:
Austin Appleby
2021-04-23 02:01:25 +00:00
committed by Sam Leffler
parent 16fda25099
commit 1c107b73e5

View File

@@ -42,7 +42,7 @@ assembly {
}
configuration {
uart.mem_paddr = 0x10000000;
uart.mem_paddr = 0x40030000;
uart.mem_size = 0x1000;
// seL4 claims 10 is bigger than irqMax if this is uncommented.
// uart.interrupt_irq_number = 10;