lwip-sys with changes

Fork of lwip-sys by mbed official

Revision:
9:d7ad3f3ee934
Parent:
8:742ae4a0ca3f
Child:
17:12e78a2462d0
diff -r 742ae4a0ca3f -r d7ad3f3ee934 arch/sys_arch.h
--- a/arch/sys_arch.h	Fri Mar 01 15:31:22 2013 +0000
+++ b/arch/sys_arch.h	Mon Aug 19 18:38:06 2013 +0300
@@ -51,7 +51,7 @@
     osMessageQId    id;
     osMessageQDef_t def;
 #ifdef CMSIS_OS_RTX
-    uint32_t        queue[MB_SIZE];
+    uint32_t        queue[4+MB_SIZE]; /* The +4 is required for RTX OS_MCB overhead. */
 #endif
 } sys_mbox_t;