On power-up F2 gets you into the BIOS setup screen. The BIOS is a standard Phoenix Award BIOS.
The options for boot devices are:
I set the first boot device to USB-ZIP and it happily booted Tiny Core Linux from a conventionally formatted pen drive.
When powering up F12 will bring up just a boot menu.
In the absence of any operating system, or if you set the boot devices to 'disabled', the FX130 will attempt to boot from the network.