I have just committed this. commit fb0dc52d1ca5c342865c40cdb5521773f8c5d7ae Author: Ian Jackson <ian.jackson@eu.citrix.com> Date: Wed Mar 27 17:13:33 2013 +0000 .gitignore: Add some flask files Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com> Cc: Daniel De Graaf <dgdegra@tycho.nsa.gov> diff --git a/.gitignore b/.gitignore index fce8c89..6753368 100644 --- a/.gitignore +++ b/.gitignore @@ -341,6 +341,8 @@ 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 +tools/flask/policy/policy.conf +tools/flask/policy/xenpolicy.24 xen/xen xen/xen-syms xen/xen.*