I want to check out debian on my alphaserver 1200 (ES1200) and need to know which one to choose. I looked through my bios and found none of the names occuring on http://koenig.isr.uni-stuttgart.de/debian/boot-floppies.pre-2.2.7-alpha-20000211/disks-1.44/ please help. This machine goes to the Debian booth on CeBit on Wednesday, so I am in a hurry.