Вышел новый релиз VirtualBox, 4.0.0