Attempted an install of Fedora 20 Beta using Gnome Boxes. Install appeared to work but the image would not boot. We see the following avc logged: time->Wed Nov 13 18:42:44 2013 type=SYSCALL msg=audit(1384396964.830:7237): arch=c000003e syscall=101 success=no exit=-13 a0=10 a1=2873 a2=0 a3=0 items=0 ppid=11756 pid=11762 auid=1000 uid=1000 gid=1000 euid=1000 suid=1000 fsuid=1000 egid=1000 sgid=1000 fsgid=1000 ses=887 tty=(none) comm="gdb" exe="/usr/bin/gdb" subj=unconfined_u:system_r:svirt_t:s0:c320,c528 key=(null) type=AVC msg=audit(1384396964.830:7237): avc: denied { ptrace } for pid=11762 comm="gdb" scontext=unconfined_u:system_r:svirt_t:s0:c320,c528 tcontext=unconfined_u:system_r:svirt_t:s0:c320,c528 tclass=process -- selinux mailing list selinux@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/selinux