According to that (an interesting link, thanks), Russ uses Plan 9 from Userspace, which is similar in feel but still counts as running Linux for the purpose of my question, I think.