A bit offtopic, but this is a known VirtualBox bug. You can work around it by booting into the OS X 32-bit kernel.
Type: Posts; User: sinclair44; Keyword(s):
A bit offtopic, but this is a known VirtualBox bug. You can work around it by booting into the OS X 32-bit kernel.