Description of problem: I get some avc denied messages while running top and ps. Version-Release number of selected component (if applicable): selinux-policy-targeted-2.1.7-3 Expected results: No avc denied messages ;-)
Created attachment 122912 [details] AVC denied messages
Fixed in selinux-policy-2.2.5-1