And also for 32-bit microcontrollers: PIC32 Microchip based on the MIPS core as well as from other manufacturers, based on ARM.
Btw, currently the dspic33AK A 32-bit version of the 16-bit harvard version was released. I'm currently on holiday, but hopefully the samples are in the office when I return :_)
(btw, the sample has 16kb ram, which is a tad low for a 32-bitter :-))