Reply to post:

"I wonder if they know where the sources are for NT3.1"

This is one thing I've seen on some embedded Linux devices; they'll have a pretty old kernel (not NT 3.1 old but pretty old), but an arbitrarily modern userland on there.