# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1475526294 -7200
# Node ID aee4b1c755b549b61afb604402c3ee34d7167c5a
# Parent  a59756f80c0a8e3c5ecd57c34fea83e76c2e6b81
Reduced the page table size to avoid potential conflicts.

diff -r a59756f80c0a -r aee4b1c755b5 stage2/memory.h
--- a/stage2/memory.h	Mon Oct 03 22:24:04 2016 +0200
+++ b/stage2/memory.h	Mon Oct 03 22:24:54 2016 +0200
@@ -10,7 +10,7 @@
 
 /* Page table details accessed in kernel mode. */
 
-#define STAGE2_PAGE_TABLE_TOP	0x82000000
+#define STAGE2_PAGE_TABLE_TOP	0x81800000
 #define STAGE2_PAGE_TABLE_BASE	0x81400000
 
 /* Page table virtual address limit. */