diff options
-rw-r--r-- | xen/xsm/flask/policy/access_vectors (renamed from tools/flask/policy/policy/flask/access_vectors) | 0 | ||||
-rw-r--r-- | xen/xsm/flask/policy/initial_sids (renamed from tools/flask/policy/policy/flask/initial_sids) | 0 | ||||
-rw-r--r-- | xen/xsm/flask/policy/mkaccess_vector.sh (renamed from tools/flask/policy/policy/flask/mkaccess_vector.sh) | 0 | ||||
-rw-r--r-- | xen/xsm/flask/policy/mkflask.sh (renamed from tools/flask/policy/policy/flask/mkflask.sh) | 0 | ||||
-rw-r--r-- | xen/xsm/flask/policy/security_classes (renamed from tools/flask/policy/policy/flask/security_classes) | 0 |
5 files changed, 0 insertions, 0 deletions
diff --git a/tools/flask/policy/policy/flask/access_vectors b/xen/xsm/flask/policy/access_vectors index c7e29abb32..c7e29abb32 100644 --- a/tools/flask/policy/policy/flask/access_vectors +++ b/xen/xsm/flask/policy/access_vectors diff --git a/tools/flask/policy/policy/flask/initial_sids b/xen/xsm/flask/policy/initial_sids index e508bde976..e508bde976 100644 --- a/tools/flask/policy/policy/flask/initial_sids +++ b/xen/xsm/flask/policy/initial_sids diff --git a/tools/flask/policy/policy/flask/mkaccess_vector.sh b/xen/xsm/flask/policy/mkaccess_vector.sh index 8ec87f7b8c..8ec87f7b8c 100644 --- a/tools/flask/policy/policy/flask/mkaccess_vector.sh +++ b/xen/xsm/flask/policy/mkaccess_vector.sh diff --git a/tools/flask/policy/policy/flask/mkflask.sh b/xen/xsm/flask/policy/mkflask.sh index e8d8fb5d2c..e8d8fb5d2c 100644 --- a/tools/flask/policy/policy/flask/mkflask.sh +++ b/xen/xsm/flask/policy/mkflask.sh diff --git a/tools/flask/policy/policy/flask/security_classes b/xen/xsm/flask/policy/security_classes index ef134a7457..ef134a7457 100644 --- a/tools/flask/policy/policy/flask/security_classes +++ b/xen/xsm/flask/policy/security_classes |