Daniel De Graaf d05b3ddfdc flask: move policy headers into hypervisor ...

Rather than keeping around headers that are autogenerated in order to
avoid adding build dependencies from xen/ to files in tools/, move the
relevant parts of the FLASK policy into the hypervisor tree and
generate the headers as part of the hypervisor's build.

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Committed-by: Keir Fraser <keir@xen.org>

2013-01-10 17:30:47 +00:00

..

policy

flask: move policy headers into hypervisor

2013-01-10 17:30:47 +00:00

utils

tools/flask: remove libflask

2012-02-06 05:03:32 -08:00

Makefile

tools/flask: remove libflask

2012-02-06 05:03:32 -08:00