The HP t5730 has a standard Phoenix Award BIOS. Press F10 on power up to get into the BIOS screens.
It supports three boot devices and these can be set to:
I'm not sure exactly what range of USB devices are supported, but I plugged in a USB pen-drive that had Tinycore 2.11 on it and that booted and ran without any problems.
For BIOS version(s) see the BIOS versions page.
The operating system is Windows XPe SP3.