diff options
author | Daniel De Graaf <dgdegra@tycho.nsa.gov> | 2013-01-10 17:30:47 +0000 |
---|---|---|
committer | Daniel De Graaf <dgdegra@tycho.nsa.gov> | 2013-01-10 17:30:47 +0000 |
commit | d05b3ddfdc8bb4c51c9764a6afaf7a3cce4a15fd (patch) | |
tree | 5de7abcce26a2b07ab1ce61e4ea903ac4345ace0 /.gitignore | |
parent | 58f88f9eb2f2b16f1870c592c3310593039096e8 (diff) | |
download | xen-d05b3ddfdc8bb4c51c9764a6afaf7a3cce4a15fd.tar.gz xen-d05b3ddfdc8bb4c51c9764a6afaf7a3cce4a15fd.tar.bz2 xen-d05b3ddfdc8bb4c51c9764a6afaf7a3cce4a15fd.zip |
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>
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index f71cff8d78..02ea1fafab 100644 --- a/.gitignore +++ b/.gitignore @@ -314,6 +314,11 @@ xen/include/xen/banner.h xen/include/xen/compile.h xen/tools/figlet/figlet xen/tools/symbols +xen/xsm/flask/include/av_perm_to_string.h +xen/xsm/flask/include/av_permissions.h +xen/xsm/flask/include/class_to_string.h +xen/xsm/flask/include/flask.h +xen/xsm/flask/include/initial_sid_to_string.h xen/xen xen/xen-syms xen/xen.* |