Computers on campus run windows 7 64 bit. Most 32 bit os have been replaced on campus with the exception of a couple servers i use as vms for my networking class. There i can access a 32bit version of xp.
Since the command line course is also available to take exclusively online, i believe the solution she had in mind would probobly not be restricted to the type of os the student is using. Not every student who takes the command line course is required to take the networking course therefore any student with a more modern 64 bit os would be left hanging.
I cant wait till class tuesday to find out her magic answer