For those of you who may be interested I compiled and installed Nimrod cleanly on a Raspberry Pi mobel B last night. My Pi is running Arch Linux with no GUI installed. For those of you who don't know what a Pi is, it is a $35 Arm based computer which is an excellent tool for web development and education.