diff options
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
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.* |