Will the C6 Winchip work for Linux and/or BeOS?

Greg Kau is looking for answers to this particular question: "I am building a small group of low-powered computers. I would like to use the IDT C6 Winchip *despite* its low FPU and, uh, suggestive name. I am curious as to the "compatibility" of the C6 Winchip with Linux and BeOS. Has anyone tried this configuration out? The IDT site claims that Linux has been extensively tested with the C6, but I would just like to know first hand if anyone has tried compiling the kernel, etc... on the C6. Also if anyone has run BeOS on it, I would be grateful if you would comment on your experiences."