Is there a FreeRTOS port for the LPC81xM series microcontrollers? I will be using the LPC812-LPCXpresso board. Thanks.

There are Cortex-M0[+] ports for Keil, IAR and GCC, all of which you will be able to run on the LPC800 parts, but there are no specific pre-configured demos for those parts in the FreeRTOS download. This is primarily because, the last time I looked anyway, the parts were a little short of RAM to make a good target. Regards.