AVR (which Arduino uses) is pretty fun. 8-bit RISC, tens of K of flash, and still programmable in C with just gcc and avrdude to flash it. Mostly on-the-metal stuff (no room for an OS).