From: dwalsh@redhat.com (Daniel J Walsh)
Date: Thu, 21 May 2009 11:17:06 -0400
Subject: [refpolicy] kernel_devices.patch
Message-ID: <4A157072.8040408@redhat.com>
To: refpolicy@oss.tresys.com
List-Id: refpolicy.oss.tresys.com

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