$ 0 0 The 11.0 CD ISO I downloaded installed a 32-bit kernel and I did not see an option to choose 64-bit. Did I miss it or is this option not available? -evan