11 files changed, 81 insertions, 0 deletions
diff --git a/demos/ARM7-AT91SAM7X-GCC/chconf.h b/demos/ARM7-AT91SAM7X-GCC/chconf.h
index 8db71b445..b66e8f595 100644
--- a/demos/ARM7-AT91SAM7X-GCC/chconf.h
+++ b/demos/ARM7-AT91SAM7X-GCC/chconf.h
@@ -137,6 +137,14 @@
  *  are included in the kernel.*/
 #define CH_USE_SERIAL_HALFDUPLEX
 
+/** Configuration option: if specified then the memory pools allocator APIs
+ *  are included in the kernel.*/
+#define CH_USE_MEMPOOLS
+
+/** Configuration option: if specified then the memory pools allocator
+    provides an implementation of the sbrk() function.*/
+#define CH_MEMPOOLS_PROVIDE_SBRK
+
 /** Configuration option: Frequency of the system timer that drives the system
  *  ticks. This also defines the system time unit.*/
 #define CH_FREQUENCY 1000
diff --git a/demos/ARM7-AT91SAM7X-WEB-GCC/chconf.h b/demos/ARM7-AT91SAM7X-WEB-GCC/chconf.h
index 8db71b445..b66e8f595 100644
--- a/demos/ARM7-AT91SAM7X-WEB-GCC/chconf.h
+++ b/demos/ARM7-AT91SAM7X-WEB-GCC/chconf.h
@@ -137,6 +137,14 @@
  *  are included in the kernel.*/
 #define CH_USE_SERIAL_HALFDUPLEX
 
+/** Configuration option: if specified then the memory pools allocator APIs
+ *  are included in the kernel.*/
+#define CH_USE_MEMPOOLS
+
+/** Configuration option: if specified then the memory pools allocator
+    provides an implementation of the sbrk() function.*/
+#define CH_MEMPOOLS_PROVIDE_SBRK
+
 /** Configuration option: Frequency of the system timer that drives the system
  *  ticks. This also defines the system time unit.*/
 #define CH_FREQUENCY 1000
diff --git a/demos/ARM7-LPC214x-G++/chconf.h b/demos/ARM7-LPC214x-G++/chconf.h
index 8db71b445..b66e8f595 100644
--- a/demos/ARM7-LPC214x-G++/chconf.h
+++ b/demos/ARM7-LPC214x-G++/chconf.h
@@ -137,6 +137,14 @@
  *  are included in the kernel.*/
 #define CH_USE_SERIAL_HALFDUPLEX
 
+/** Configuration option: if specified then the memory pools allocator APIs
+ *  are included in the kernel.*/
+#define CH_USE_MEMPOOLS
+
+/** Configuration option: if specified then the memory pools allocator
+    provides an implementation of the sbrk() function.*/
+#define CH_MEMPOOLS_PROVIDE_SBRK
+
 /** Configuration option: Frequency of the system timer that drives the system
  *  ticks. This also defines the system time unit.*/
 #define CH_FREQUENCY 1000
diff --git a/demos/ARM7-LPC214x-GCC-minimal/chconf.h b/demos/ARM7-LPC214x-GCC-minimal/chconf.h
index 9f903df06..cfa407fc5 100644
--- a/demos/ARM7-LPC214x-GCC-minimal/chconf.h
+++ b/demos/ARM7-LPC214x-GCC-minimal/chconf.h
@@ -137,6 +137,14 @@
  *  are included in the kernel.*/
 //#define CH_USE_SERIAL_HALFDUPLEX
 
+/** Configuration option: if specified then the memory pools allocator APIs
+ *  are included in the kernel.*/
+//#define CH_USE_MEMPOOLS
+
+/** Configuration option: if specified then the memory pools allocator
+    provides an implementation of the sbrk() function.*/
+//#define CH_MEMPOOLS_PROVIDE_SBRK
+
 /** Configuration option: Frequency of the system timer that drives the system
  *  ticks. This also defines the system time unit.*/
 #define CH_FREQUENCY 1000
diff --git a/demos/ARM7-LPC214x-GCC/chconf.h b/demos/ARM7-LPC214x-GCC/chconf.h
index 8db71b445..b66e8f595 100644
--- a/demos/ARM7-LPC214x-GCC/chconf.h
+++ b/demos/ARM7-LPC214x-GCC/chconf.h
@@ -137,6 +137,14 @@
  *  are included in the kernel.*/
 #define CH_USE_SERIAL_HALFDUPLEX
 
+/** Configuration option: if specified then the memory pools allocator APIs
+ *  are included in the kernel.*/
+#define CH_USE_MEMPOOLS
+
+/** Configuration option: if specified then the memory pools allocator
+    provides an implementation of the sbrk() function.*/
+#define CH_MEMPOOLS_PROVIDE_SBRK
+
 /** Configuration option: Frequency of the system timer that drives the system
  *  ticks. This also defines the system time unit.*/
 #define CH_FREQUENCY 1000
diff --git a/demos/ARMCM3-STM32F103-GCC/chconf.h b/demos/ARMCM3-STM32F103-GCC/chconf.h
index 8db71b445..b66e8f595 100644
--- a/demos/ARMCM3-STM32F103-GCC/chconf.h
+++ b/demos/ARMCM3-STM32F103-GCC/chconf.h
@@ -137,6 +137,14 @@
  *  are included in the kernel.*/
 #define CH_USE_SERIAL_HALFDUPLEX
 
+/** Configuration option: if specified then the memory pools allocator APIs
+ *  are included in the kernel.*/
+#define CH_USE_MEMPOOLS
+
+/** Configuration option: if specified then the memory pools allocator
+    provides an implementation of the sbrk() function.*/
+#define CH_MEMPOOLS_PROVIDE_SBRK
+
 /** Configuration option: Frequency of the system timer that drives the system
  *  ticks. This also defines the system time unit.*/
 #define CH_FREQUENCY 1000
diff --git a/demos/AVR-AT90CANx-GCC/chconf.h b/demos/AVR-AT90CANx-GCC/chconf.h
index fca0159a2..182ba1a9b 100644
--- a/demos/AVR-AT90CANx-GCC/chconf.h
+++ b/demos/AVR-AT90CANx-GCC/chconf.h
@@ -137,6 +137,14 @@
  *  are included in the kernel.*/
 #define CH_USE_SERIAL_HALFDUPLEX
 
+/** Configuration option: if specified then the memory pools allocator APIs
+ *  are included in the kernel.*/
+#define CH_USE_MEMPOOLS
+
+/** Configuration option: if specified then the memory pools allocator
+    provides an implementation of the sbrk() function.*/
+#define CH_MEMPOOLS_PROVIDE_SBRK
+
 /** Configuration option: Frequency of the system timer that drives the system
  *  ticks. This also defines the system time unit.*/
 #define CH_FREQUENCY 1000
diff --git a/demos/AVR-ATmega128-GCC/chconf.h b/demos/AVR-ATmega128-GCC/chconf.h
index fca0159a2..182ba1a9b 100644
--- a/demos/AVR-ATmega128-GCC/chconf.h
+++ b/demos/AVR-ATmega128-GCC/chconf.h
@@ -137,6 +137,14 @@
  *  are included in the kernel.*/
 #define CH_USE_SERIAL_HALFDUPLEX
 
+/** Configuration option: if specified then the memory pools allocator APIs
+ *  are included in the kernel.*/
+#define CH_USE_MEMPOOLS
+
+/** Configuration option: if specified then the memory pools allocator
+    provides an implementation of the sbrk() function.*/
+#define CH_MEMPOOLS_PROVIDE_SBRK
+
 /** Configuration option: Frequency of the system timer that drives the system
  *  ticks. This also defines the system time unit.*/
 #define CH_FREQUENCY 1000
diff --git a/demos/MSP430-MSP430x1611-GCC/chconf.h b/demos/MSP430-MSP430x1611-GCC/chconf.h
index 7e29d314e..336c0d6b0 100644
--- a/demos/MSP430-MSP430x1611-GCC/chconf.h
+++ b/demos/MSP430-MSP430x1611-GCC/chconf.h
@@ -138,6 +138,14 @@
  *  are included in the kernel.*/
 #define CH_USE_SERIAL_HALFDUPLEX
 
+/** Configuration option: if specified then the memory pools allocator APIs
+ *  are included in the kernel.*/
+#define CH_USE_MEMPOOLS
+
+/** Configuration option: if specified then the memory pools allocator
+    provides an implementation of the sbrk() function.*/
+#define CH_MEMPOOLS_PROVIDE_SBRK
+
 /** Configuration option: Frequency of the system timer that drives the system
  *  ticks. This also defines the system time unit.*/
 #define CH_FREQUENCY 1000
diff --git a/demos/Win32-MinGW/chconf.h b/demos/Win32-MinGW/chconf.h
index b17295c65..674d747c1 100644
--- a/demos/Win32-MinGW/chconf.h
+++ b/demos/Win32-MinGW/chconf.h
@@ -142,6 +142,14 @@
  *  are included in the kernel.*/
 #define CH_USE_SERIAL_HALFDUPLEX
 
+/** Configuration option: if specified then the memory pools allocator APIs
+ *  are included in the kernel.*/
+#define CH_USE_MEMPOOLS
+
+/** Configuration option: if specified then the memory pools allocator
+    provides an implementation of the sbrk() function.*/
+#define CH_MEMPOOLS_PROVIDE_SBRK
+
 /** Configuration option: Frequency of the system timer that drives the system
  *  ticks. This also defines the system time unit.*/
 #define CH_FREQUENCY 1000
diff --git a/demos/Win32-MinGW/chtypes.h b/demos/Win32-MinGW/chtypes.h
index 0b74459bc..6f8662bd9 100644
--- a/demos/Win32-MinGW/chtypes.h
+++ b/demos/Win32-MinGW/chtypes.h
@@ -22,6 +22,7 @@
 
 #define __need_NULL
 #define __need_size_t
+#define __need_ptrdiff_t
 #include <stddef.h>
 
 #if !defined(_STDINT_H) && !defined(__STDINT_H_)