Some Libraries for the NXP LPC17xx and LPC13xx micro-controllers