diff --git a/.gitignore b/.gitignore index fce8c892cd..6753368301 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.*