Dell W32C Owner's Manual page 167

Table 41. System setup options—Virtualization menu
Virtualization
Intel Virtualization Technology
Enable Intel Virtualization Technology
(VT)
VT for Direct I/O
Intel Trusted Execution Technology
(TXT)
Enable Intel Trusted Execution
Technology (TXT)
Table 42. System setup options—Performance menu
Performance
Multi-Core Support
Active Cores
Multiple Atom Cores
Atom cores
Intel SpeedStep
Enable Intel SpeedStep Technology
C-States Control
Enable C-State Control
Intel Turbo Boost Technology
Enable Intel Turbo Boost Technology
Intel Hyper-Threading Technology
Enable Intel Hyper-Threading Technology
PCIe Resizable Base Address Register
(BAR)
Enable PCIe Resizable BAR support
Specify whether a Virtual Machine Monitor (VMM) can utilize the additional
hardware capabilities provided by Intel Virtualization Technology.
By default, the option is enabled.
Specify whether a Virtual Machine Monitor (VMM) can utilize the additional
hardware capabilities provided by Intel Virtualization Technology for Direct I/O.
By default, the option is enabled.
Specifies whether a measured Virtual Machine Monitor (MVMM) can utilize
the additional hardware capabilities provided by Intel Trusted Execution
Technology.
By default, the option is disabled.
Enables to change the number of CPU cores available to the operating system.
By default, the All Cores options is enabled.
Allows you to change the number of Atom cores available to the operating
system.
By default, the value is set to the maximum number of Atom cores.
Enables the computer to dynamically adjust processor voltage and core
frequency, decreasing average power consumption and heat production.
By default, the option is enabled.
Enable or disable additional processor sleep states.
By default, the option is enabled.
Enable or disable Intel TurboBoost mode of the processor.
By default, the option is enabled.
Enable or disable Hyper-Threading in the processor.
By default, the option is enabled.
Enable or disable PCIe Resizable Base Address Register (BAR) support.
By default, the option is disabled.
BIOS setup 167