From 1456fa1c5d4c55ef66fff5e1216b9011e4a6a738 Mon Sep 17 00:00:00 2001
From: Phillip Raffeck <phillip.raffeck@fau.de>
Date: Wed, 24 Apr 2019 14:29:11 +0200
Subject: [PATCH] arch:armv7: adjust idle task stack size

---
 arch/armv7/dispatch.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/arch/armv7/dispatch.cc b/arch/armv7/dispatch.cc
index a22bfc34..02b2f97a 100644
--- a/arch/armv7/dispatch.cc
+++ b/arch/armv7/dispatch.cc
@@ -17,10 +17,10 @@ idle_loop_again:
     goto idle_loop_again;
 }
 namespace arch {
-static char __attribute__((aligned(4096))) idlestack[4096];
+static char __attribute__((aligned(4096))) idlestack[1024];
 static void* idle_stack_pointer;
 TCB Dispatcher::m_idle(idle_loop,
-                       idlestack, idle_stack_pointer, 4096);
+                       idlestack, idle_stack_pointer, 1024);
 os::scheduler::Task Dispatcher::IdleTask(0,0,true,Dispatcher::m_idle);
 
     extern TCB *const OS_tcbs[];
-- 
GitLab