Unlike the Compaq Evo T20 the HP T5520 has a standard PC BIOS. The boot options are:
This makes life easy for us and most Linux distributions will run straight from the box.
The standard firmware is Windows CE 5.0