F10, KDE4.2 and VirtualBox