From 194118011a6dcb4cc19159a80045b24336e5bd8b Mon Sep 17 00:00:00 2001
From: Weiyi Wang <wwylele@gmail.com>
Date: Mon, 12 Nov 2018 15:12:12 -0500
Subject: [PATCH] Memory: IO area is at most 4MB

---
 src/core/memory.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/memory.h b/src/core/memory.h
index bad47375a..3c1afd7c1 100644
--- a/src/core/memory.h
+++ b/src/core/memory.h
@@ -75,7 +75,7 @@ struct PageTable {
 enum : PAddr {
     /// IO register area
     IO_AREA_PADDR = 0x10100000,
-    IO_AREA_SIZE = 0x01000000, ///< IO area size (16MB)
+    IO_AREA_SIZE = 0x00400000, ///< IO area size (4MB)
     IO_AREA_PADDR_END = IO_AREA_PADDR + IO_AREA_SIZE,
 
     /// MPCore internal memory region