diff options
| author | Doug Goldstein <cardoe@cardoe.com> | 2016-01-12 11:39:47 +0100 |
|---|---|---|
| committer | Jan Beulich <jbeulich@suse.com> | 2016-01-12 11:39:47 +0100 |
| commit | 20c8f1a8a5fd61cb6f0ba6f3c3b3d567b1765116 (patch) | |
| tree | ffdb9a05a8b2779973c1ca849e5df123056f5c2a /INSTALL | |
| parent | 529298fdf9097f8e637f754c9b29bd58a8a714e9 (diff) | |
| download | xen-20c8f1a8a5fd61cb6f0ba6f3c3b3d567b1765116.tar.gz | |
convert XSM_ENABLE to Kconfig
Converts the existing XSM_ENABLE flag from Config.mk to CONFIG_XSM
within Kconfig. This also re-adds the dependency of CONFIG_FLASK on
CONFIG_XSM.
Signed-off-by: Doug Goldstein <cardoe@cardoe.com>
Acked-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 8 |
1 files changed, 2 insertions, 6 deletions
@@ -275,14 +275,10 @@ Building the python tools may fail unless certain options are passed to setup.py. Config.mk contains additional info how to use this variable. PYTHON_PREFIX_ARG= -The hypervisor may be build with XSM support, which can be changed with -the following variables. -XSM_ENABLE=y - -The hypervisor may be build with Flask support, which can be changed +he hypervisor may be build with XSM/Flask support, which can be changed by running: make -C xen menuconfig -and enabling Flask in the 'Common Features' menu. +and enabling XSM/Flask in the 'Common Features' menu. Do a build for coverage. coverage=y |