Lpc2000

TNKernel v.2 now has mutexes with Priority Inheritance Protocol and
Priority Ceiling Protocol supporting.
   Few additional API functions has been added mostly for
create/delete objects, terminate tasks and also for dynamic
changing task's priority.
   Additional processors (Atmel AT91SAM7S and STMicroelectronics STR711)
ports has been added to examples. There are now example projects for
compilers: Rowley CrossWorks Studio (GCC) 1.5, IAR ARM v.4.30,
GCC 4.0.1, ARM ADS 1.2, ARM RVDT 2.2, GreenHills MULTI2000 v.3.5,
Keil CA ARM v.2.4, Wind River Diab v.5.0.

http://www.tnkernel.com