it should not be too hard at all to let it run x86-win32 applications in arm-linux environments
Yes, it should. It's never been done before (to my knowledge), and it is not at all simple.
There is JIT and there is compiling, and the two, although based on exactly the same routine, deliver two different results, performance- and battery-life- wise.
I'm not sure what you're trying to say here, but there's not a huge difference.
I can get referb HP or Dell workstations with 2Ghz CPUs and 1GB RAM for under $100 plus a $100 monitor. These make great Thin clients and simplify administration and security.
Those would make great servers, but they're definitely overkill for clients. I'm using a 10 year old 500MHz P3 with half a gig of ram for a client at home, and it works fine.
I doubt the students will have the know how to hack linux.
As a Linux enthusiast and student in the local equivalent of the 10th grade, wrong: those of us that don't, know how to use Google well enough to find out.
The explanation requiring the fewest assumptions is the most likely to be correct. -- William of Occam