diff --git a/policy-F12.patch b/policy-F12.patch index 0bc8d1e..cc57782 100644 --- a/policy-F12.patch +++ b/policy-F12.patch @@ -5670,7 +5670,7 @@ diff -b -B --ignore-all-space --exclude-from=exclude -N -u -r nsaserefpolicy/pol +gen_user(guest_u, user, guest_r, s0, s0) diff -b -B --ignore-all-space --exclude-from=exclude -N -u -r nsaserefpolicy/policy/modules/roles/staff.te serefpolicy-3.6.26/policy/modules/roles/staff.te --- nsaserefpolicy/policy/modules/roles/staff.te 2009-07-14 14:19:57.000000000 -0400 -+++ serefpolicy-3.6.26/policy/modules/roles/staff.te 2009-08-05 07:37:10.000000000 -0400 ++++ serefpolicy-3.6.26/policy/modules/roles/staff.te 2009-08-05 16:17:34.000000000 -0400 @@ -15,156 +15,110 @@ # Local policy # @@ -5828,7 +5828,7 @@ diff -b -B --ignore-all-space --exclude-from=exclude -N -u -r nsaserefpolicy/pol optional_policy(` - sysadm_role_change(staff_r) - userdom_dontaudit_use_user_terminals(staff_t) -+ lpd_list_spool(staff_t ++ lpd_list_spool(staff_t) ') optional_policy(`