kernel/os: Increase idle task size for pic32
For now pic32 code does not have separate stack for
interrupts and there is a lot of registers that may
need to be saved so 256 was not enough.
@@ -32,7 +32,7 @@ typedef uint32_t os_stack_t;
/* Stack sizes for common OS tasks */
#define OS_SANITY_STACK_SIZE (64)
-#define OS_IDLE_STACK_SIZE (256)
+#define OS_IDLE_STACK_SIZE (400)
#define OS_ENTER_CRITICAL(__os_sr) \
do { \
