Official mbed Real Time Operating System based on the RTX implementation of the CMSIS-RTOS API open standard. Patched to work with NUCLEO L152 board

Fork of mbed-rtos by mbed official

Revision:
31:015df9e602b6
Parent:
8:88a1a9c26ae3
--- a/rtos/MemoryPool.h	Tue May 27 08:30:16 2014 +0100
+++ b/rtos/MemoryPool.h	Tue Jun 03 11:30:14 2014 +0100
@@ -41,30 +41,30 @@
     #ifdef CMSIS_OS_RTX
         memset(_pool_m, 0, sizeof(_pool_m));
         _pool_def.pool = _pool_m;
-        
+
         _pool_def.pool_sz = pool_sz;
         _pool_def.item_sz =  sizeof(T);
     #endif
         _pool_id = osPoolCreate(&_pool_def);
     }
-    
+
     /** Allocate a memory block of type T from a memory pool.
       @return  address of the allocated memory block or NULL in case of no memory available.
     */
     T* alloc(void) {
         return (T*)osPoolAlloc(_pool_id);
     }
-    
+
     /** Allocate a memory block of type T from a memory pool and set memory block to zero.
-      @return  address of the allocated memory block or NULL in case of no memory available. 
+      @return  address of the allocated memory block or NULL in case of no memory available.
     */
     T* calloc(void) {
         return (T*)osPoolCAlloc(_pool_id);
     }
-    
+
     /** Return an allocated memory block back to a specific memory pool.
       @param   address of the allocated memory block that is returned to the memory pool.
-      @return  status code that indicates the execution status of the function. 
+      @return  status code that indicates the execution status of the function.
     */
     osStatus free(T *block) {
         return osPoolFree(_pool_id, (void*)block);