Am 21.11.2013 11:40, schrieb Klaus-Peter Schrage:
Using VirtualBox-4.2 (VirtualBox-4.3-4.3.2_90405_fedora18-1.x86_64)
without any problems after upgrade to kernel 3.11.8-200.fc19.x86_6.
Sorry, it should read VirtualBox-4.2-4.2.18_88780_fedora18-1.x86_64!