convert FLASK_ENABLE to Kconfig
authorDoug Goldstein <cardoe@cardoe.com>
Thu, 7 Jan 2016 14:18:45 +0000 (15:18 +0100)
committerJan Beulich <jbeulich@suse.com>
Thu, 7 Jan 2016 14:18:45 +0000 (15:18 +0100)
commitb36bf230270baba4f0fe35b230ea8b80ebb2c4a7
treeb1c672e914c3c20eb7d279f12977860f0413c76a
parentc68b6fa2b68b23014f2947c2f8e331660e999c73
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