Re: No 64-bit OS option in VirtualBox
Did you install it per Debian-based Linux distributions at https://www.virtualbox.org/wiki/Linux_Downloads
Did you add your user to vboxusers group in the host computer?
Works for me (PC in my sig) in 64-bit 12.04 as host. As guests I installed a real slim 64-bit Debian base system using 512 MB and adding lxde myself to get a feel for Raspian for when I receive a Raspberry Pi (computer on a small board), 64-bit Debian with default gnome in 1 GB to figure out how to get audio working in the other lxde vbox, and 64-bit Ubuntu 12.10 guest that I gave 2 to 3 GB and 2 cores. Although, in Debian versions I had to remove their older default guest additions to use current 4.2.4 guest additions included in /usr/share/virtualbox (which requires kernel headers in the guests).
How much RAM does your laptop have and how many cores? What OS are you trying to install as a guest in vbox?
Last edited by efflandt; November 29th, 2012 at 01:15 AM.
i5 650 3.2 GHz, 8 GB, nvidia GTX 750 Ti, 32" 1080p | i7-4700MQ, 8 GB, Intel HD 4600/nvidia GTX 765M, 15.6" 1080p | etc.