NCR S10XL - Manual (Page 51)

Understanding the CPU Boards
Installing CPU Boards
NCR S10XL Hot Plug Server User Guide 3-3
Refer to the diskette label to make sure you are using
the appropriate BIOS for your system configuration.