From 1c107b73e52530e8dcc4d9e226cc49a631355b55 Mon Sep 17 00:00:00 2001
From: Austin Appleby <aappleby@google.com>
Date: Fri, 23 Apr 2021 02:01:25 +0000
Subject: [PATCH] Merge "Move sel4 uart to match hw team's memory map (uart3)"

GitOrigin-RevId: e917b6a81c73f04b0520a9d7e9029415387c2c5e
---
 apps/system/system.camkes | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/apps/system/system.camkes b/apps/system/system.camkes
index 0acce4d..59cb788 100644
--- a/apps/system/system.camkes
+++ b/apps/system/system.camkes
@@ -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;