I'm a long-time http://www.openbsd.org/ fan, and for a long time OpenBSD has poor support for ARM boards. This changed a few years ago when the OpenBSD team coded support for the Beagle{board,bone}, Panda, and other armv7 variants. I grabbed a beaglebone black, threw OpenBSD on it, and I've been happily using it (in spite of some device support not being there yet) as a mini-server on my home network.
Now that I'm starting to get more involved in the hardware side, I was curious if there were many non-Linux operating systems that are being used by element14 members?