Manual

SPCIE-5100DX PICMG 1.3 CPU Card
Page 103

64K
54KB reserved for legacy ISA devices
5.5 Boot
Use the Boot menu (BIOS Menu 14) to configure system boot options.
BIOS Menu 14: Boot
5.5.1 Boot Settings Configuration
Use the Boot Settings Configuration menu (BIOS Menu 15) to configure advanced system
boot options.