Some libraries for the LPC13xx and LPC17xx MCUs