Running OS X with a 64 bit kernel

Run the following command: ioreg -l -p IODeviceTree | awk -F'”‘ ‘/firmware-abi/{print $4}’


If you get a response such as EFI64 you’re in luck. If it’s like this EFI32 you’re not so lucky…
To enable this permanently do the following: sudo defaults write /Library/Preferences/SystemConfiguration/com.apple.Boot ‘Kernel Flags’ ‘arch=x86_64