It's just too bad that Fedora still doesn't give its users the choice to run a soft real-time Linux kernel for gaming or audio/video production like Ubuntu...