1 # SPDX-License-Identifier: GPL-2.0
3 # From Coreboot src/northbridge/intel/sandybridge/Kconfig
5 # Copyright (C) 2010 Google Inc.
8 config NORTHBRIDGE_INTEL_IVYBRIDGE
10 select CACHE_MRC_BIN if HAVE_MRC
12 imply ENABLE_MRC_CACHE
24 if NORTHBRIDGE_INTEL_IVYBRIDGE
26 config DCACHE_RAM_BASE
29 config DCACHE_RAM_SIZE
32 config DCACHE_RAM_MRC_VAR_SIZE
35 config CPU_SPECIFIC_OPTIONS
45 bool "Enable VMX for virtualization"
48 Virtual Machine Extensions are provided in many x86 CPUs. These
49 provide various facilities for allowing a host OS to provide an
50 environment where potentially several guest OSes have only
51 limited access to the underlying hardware. This is achieved
52 without resorting to software trapping and/or instruction set
53 emulation (which would be very slow).
55 Intel's implementation of this is called VT-x. This option enables
56 VT-x this so that the OS that is booted by U-Boot can make use of
57 these facilities. If this option is not enabled, then the host OS
58 will be unable to support virtualisation, or it will run very