convert FLASK_ENABLE to Kconfig
authorDoug Goldstein <cardoe@cardoe.com>
Tue, 12 Jan 2016 10:36:33 +0000 (11:36 +0100)
committerJan Beulich <jbeulich@suse.com>
Tue, 12 Jan 2016 10:38:17 +0000 (11:38 +0100)
commit529298fdf9097f8e637f754c9b29bd58a8a714e9
treea5496a96e507c0eb488dd6f137a7cfa08d140530
parent361b4f9f0f0d4adc19df428e224a7b8fa62cd392
convert FLASK_ENABLE to Kconfig

Converts the Config.mk option of FLASK_ENABLE into a Kconfig option for
the hypervisor called CONFIG_FLASK. This commit knowingly breaks the
dependent relationship on XSM_ENABLE which is addressed when XSM_ENABLE
is converted to Kconfig.

Signed-off-by: Doug Goldstein <cardoe@cardoe.com>
Acked-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Config.mk
INSTALL
docs/misc/xsm-flask.txt
xen/Rules.mk
xen/common/Kconfig
xen/include/Makefile
xen/include/xen/config.h
xen/include/xen/sched.h
xen/xsm/Makefile