From cb57b7bf00305a3cd143a8c58003736348978dd5 Mon Sep 17 00:00:00 2001
From: Matt Harvey <mattharvey@google.com>
Date: Mon, 30 Aug 2021 10:37:52 -0700
Subject: [PATCH] Changes UART base address to 0x40010000

sparrow_all.repl says this address is for "UART1 for SMC Core," but until
this change we have been using "UART3 (Reserved)."

Change-Id: I149b592f6df484e7bdac4d1bd2a3fc0ab3f813ba
GitOrigin-RevId: 40913f9e26724b6841f4380aa28de1806dcf28e5
---
 apps/system/system.camkes | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/apps/system/system.camkes b/apps/system/system.camkes
index f3fa024..d20780a 100644
--- a/apps/system/system.camkes
+++ b/apps/system/system.camkes
@@ -97,11 +97,11 @@ assembly {
     }
 
     configuration {
-        uart.mmio_region_paddr = 0x40030000;
+        uart.mmio_region_paddr = 0x40010000;
         uart.mmio_region_size = 0x1000;
-        uart.tx_watermark_irq_number = 25;
-        uart.rx_watermark_irq_number = 26;
-        uart.tx_empty_irq_number = 27;
+        uart.tx_watermark_irq_number = 9;
+        uart.rx_watermark_irq_number = 10;
+        uart.tx_empty_irq_number = 11;
 
         vctop.csr_paddr = 0x48000000;
         vctop.csr_size = 0x1000;