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
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