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.*