diff options
author | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2010-09-10 02:34:19 +0000 |
---|---|---|
committer | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2010-09-10 02:34:19 +0000 |
commit | 1adb6100a9921ce95d6f774af0281bca7680ff87 (patch) | |
tree | a4101caa1c8f88234caf46583b1fc8262f60033c /nuttx/Documentation/NuttX.html | |
parent | 17b2b1655f4ed281bf42caa80d2eb878df408695 (diff) | |
download | px4-nuttx-1adb6100a9921ce95d6f774af0281bca7680ff87.tar.gz px4-nuttx-1adb6100a9921ce95d6f774af0281bca7680ff87.tar.bz2 px4-nuttx-1adb6100a9921ce95d6f774af0281bca7680ff87.zip |
Fix race condition when semaphore wait is interrupted by a signl
git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@2935 42af7a65-404d-4744-a932-0658087f49c3
Diffstat (limited to 'nuttx/Documentation/NuttX.html')
-rw-r--r-- | nuttx/Documentation/NuttX.html | 27 |
1 files changed, 22 insertions, 5 deletions
diff --git a/nuttx/Documentation/NuttX.html b/nuttx/Documentation/NuttX.html index 427f08687..403d0d697 100644 --- a/nuttx/Documentation/NuttX.html +++ b/nuttx/Documentation/NuttX.html @@ -8,7 +8,7 @@ <tr align="center" bgcolor="#e4e4e4"> <td> <h1><big><font color="#3c34ec"><i>NuttX RTOS</i></font></big></h1> - <p>Last Updated: September 8, 2010</p> + <p>Last Updated: September 9, 2010</p> </td> </tr> </table> @@ -1262,10 +1262,19 @@ <td> <p> <b>NXP LPC1768</b>. - This port uses the Nucleus 2G board from <a href="http://www.2g-eng.com/">2G Engineering</a> - featuring the NXP LPC1768 MCU. - This port uses a GNU arm-elf or arm-eabi toolchain* under either Linux or Cygwin (with native Windows GNU - tools or Cygwin-based GNU tools). + Configurations are available for two boards: + <ul> + <li> + The Nucleus 2G board from <a href="http://www.2g-eng.com/">2G Engineering</a>, and + </li> + <li> + The mbed board from <a href="http://mbed.org">mbed.org</a> (Contributed by Dave Marples). + </li> + </ul> + </p> + <p> + Both boards feature the NXP LPC1768 MCU and a GNU arm-elf or arm-eabi toolchain* under + either Linux or Cygwin (with native Windows GNU tools or Cygwin-based GNU tools). </p> <ul> <p> @@ -1283,6 +1292,9 @@ (Although it has been reported to me that the SPI microSD is functional on other platforms). </p> <p> + Support for the mbed board was contributed by Dave Marples and released in NuttX-5.11. + </p> + <p> <b>Development Environments:</b> 1) Linux with native Linux GNU toolchain, 2) Cygwin with Cygwin GNU toolchain, or 3) Cygwin with Windows native toolchain (CodeSourcery or devkitARM). A DIY toolchain for Linux @@ -1957,6 +1969,11 @@ nuttx-5.11 2010-xx-xx Gregory Nutt <spudmonkey@racsa.co.cr> reading from offsets into this file that correspond to virtual fault addresses. up_fillpage.c implements logic to perform page files using the CONFIG_PAGING_BINPATH file. + * configs/mbed - Add configuration to support the mbed.org LPC1768 + board (Contributed by Dave Marples). + * sched/sem_wait.c and sem_waitirq.c - Eliminate a race condition + that can occur when a semaphore wait is interrupt by a signal. + (see email thread: http://tech.groups.yahoo.com/group/nuttx/message/530) pascal-2.1 2010-xx-xx Gregory Nutt <spudmonkey@racsa.co.cr> |