From: cpebenito@tresys.com (Christopher J. PeBenito)
Date: Wed, 31 Oct 2012 11:46:43 -0400
Subject: [refpolicy] [PATCH 0/4] Updates on initrc_t for Gentoo OpenRC
In-Reply-To: <1351633916-29606-1-git-send-email-sven.vermeulen@siphos.be>
References: <1351633916-29606-1-git-send-email-sven.vermeulen@siphos.be>
Message-ID: <509147E3.3080509@tresys.com>
To: refpolicy@oss.tresys.com
List-Id: refpolicy.oss.tresys.com

On 10/30/12 17:51, Sven Vermeulen wrote:
> This patchset contains a few updates needed for Gentoo's init system (openrc) to
> further handle /run related matters.
> 
> Sven Vermeulen (4):
>   Allow init to set attributes on device_t
>   Introduce files_manage_all_pids interface
>   Gentoo openrc migrates /var/run and /var/lock data to /run(/lock)
>   Update files_manage_generic_locks with directory permissions
> 
>  policy/modules/kernel/files.if |   22 ++++++++++++++++++++++
>  policy/modules/system/init.te  |    3 +++
>  2 files changed, 25 insertions(+), 0 deletions(-)
 
This set is merged.

-- 
Chris PeBenito
Tresys Technology, LLC
www.tresys.com | oss.tresys.com