Has any body done a port for Atmel ARM EB40 board?

http://www.freertos.org/portat91fr40008.html

I think this is an EB40 clone - the difference being the mez board that can be used to change the processor.