In enforcing mode I can't run the cardctl program. Specifically, I tried "cardctl ident" to get a list of PCMCIA/Cardbus devices. It comes back with an error message, and this avc message: audit(1082997955.593:0): avc: denied { ioctl } for pid=2076 exe=/sbin/cardctl path=/dev/tty1 dev=hda6 ino=678551 scontext=root:sysadm_r:cardmgr_t tcontext=root:object_r:sysadm_tty_device_t tclass=chr_file