For those who can't actually open the page on the samsung site (like me - I get redirected to "Select your country" page) try the google cache version.
I'm trying the 32 bit developer preview on Virtual Box 4.0.12 with Host as a WinXpSP3 system. Even with the above settings I keep getting a "computer needs to restart" error. Anyone faced/solved this issue?
http://goo.gl/cThfH