2009-05-21 15:17:06

by Daniel Walsh

[permalink] [raw]
Subject: [refpolicy] kernel_devices.patch

http://people.fedoraproject.org/~dwalsh/SELinux/F11/kernel_devices.patch

Add /dev/card, /dev/controlD64, /dev/tpm

Add interface to delete the null device

Fix interface type requires in dev_rw_generic_usb_dev

Add tpp_device_t type


2009-06-08 17:17:51

by cpebenito

[permalink] [raw]
Subject: [refpolicy] kernel_devices.patch

On Thu, 2009-05-21 at 11:17 -0400, Daniel J Walsh wrote:
> http://people.fedoraproject.org/~dwalsh/SELinux/F11/kernel_devices.patch
>
> Add /dev/card, /dev/controlD64, /dev/tpm
>
> Add interface to delete the null device
>
> Fix interface type requires in dev_rw_generic_usb_dev
>
> Add tpp_device_t type

Merged.

--
Chris PeBenito
Tresys Technology, LLC
(410) 290-1411 x150