Picotux is a very small ARM device that runs uClinux.

I've found out (brute-force) that this is 38400 baud.