Support for the the LPC2000 family of devices (in particular LPC2136), is being added to the PaRTiKle kernel. Once it's released documentation & usermanuals will be provided.