From 78735e2ada594d25d5b55edaf2d84fd9512b2c46 Mon Sep 17 00:00:00 2001
From: Yuri Kunde Schlesner <yuriks@yuriks.net>
Date: Sat, 22 Aug 2015 18:12:23 -0300
Subject: [PATCH] Fix broken boot introduced by last-minute change in #1025

---
 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 c136cbd55..5af72b7a7 100644
--- a/src/core/memory.h
+++ b/src/core/memory.h
@@ -106,7 +106,7 @@ enum : VAddr {
     /// Area where TLS (Thread-Local Storage) buffers are allocated.
     TLS_AREA_VADDR     = 0x1FF82000,
     TLS_ENTRY_SIZE     = 0x200,
-    TLS_AREA_SIZE      = 300 * TLS_ENTRY_SIZE, // Allows for up to 300 threads
+    TLS_AREA_SIZE      = 300 * TLS_ENTRY_SIZE + 0x800, // Space for up to 300 threads + round to page size
     TLS_AREA_VADDR_END = TLS_AREA_VADDR + TLS_AREA_SIZE,