FC4 Device permission Issues

[Mukund JB.]

Dear Kernel Coders,

I have noticed my Flashmedia based block driver not working properly on FC4. 
ISSUE is: I am not able to format the Block device file using any of the mkfs* commands.
Where as I am able to format the floopy drive.

But, I am able to mount, read/write & dd the device file. 
Udev created the my flashmedia device file with following permission '640'.

I was also successfull in changing the device file permissions to '777' using the the "/etc/udev/rules.d/fm.rules" 
file.

But Still I am not able to format the card and it says: permission denied. 
But, at the same time I have no such issues with the same driver working on the FC3 dist.

I have noticed audit.log being updated with new error "denied" messages whenever I try to format the card. 
Please see the attachment to this mail.

See the logs below as well:
# tail /var/log/audit/audit.log | grep tfa

type=PATH msg=audit(1131719847.291:372708): item=0 name="/dev/tfa3"
inode=9633 dev=00:0d mode=060666 ouid=0 ogid=0 rdev=fc:18
type=AVC msg=audit(1131719847.291:372708): avc: denied { read } for
pid=2849 comm="mkfs.vfat" name=tfa3 dev=tmpfs ino=9633
scontext=root:system_r:fsadm_t tcontext=system_u:object_r:device_t
tclass=blk_file

Regards,
Mukund Jampala

Attachment: Linux_per_info[1].tar.gz
Description: Linux_per_info[1].tar.gz