Dies ist eine alte Version des Dokuments!
In order to achieve the best possible real-time performance, some options can be set in the BIOS menu. The options below are taken from a BIOS on a Dell machine. Computers from other manufacturers may contain similar options.