I've been playing around with the Rabbit RCM3710 and the development kit HERE. It's programmable in C, but pretty easy to catch on to.