Created attachment 315967 [details] Make VirtualBox work with SELinux See the patch attached. I don't know if you contribute to upstream that's shared with debian -- if not, then probably remove the debian-specific line. Thanks!
Fixed in selinux-policy-3.5.7-1.fc10.noarch