Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu/home/palacios/palacios...
[palacios.git] / palacios / src / extensions / Kconfig
1 menu "Extensions"
2
3 config EXT_MTRRS
4         bool "Support virtualized MTTRs"
5         default n
6         help
7            Provides a virtualized set of MTTR registers
8
9 config EXT_MACH_CHECK
10         bool "Support machine-check functionality"
11         default n
12         help 
13            Provides a virtualized machine-check architecture
14
15 config DEGUB_EXT_MACH_CHECK
16     bool "Debug machine-check functionality"
17     default n
18     depends on EXT_MACH_CHECK
19     help
20         Enable virtual machine-check architecture debugging
21
22 config EXT_INSPECTOR
23         bool "VM Inspector"
24         default n
25         help
26           Provides the inspection extension
27
28 endmenu