User manual

This chapter explains the system BIOS and discusses
how to configure the system by changing the BIOS
settings.