/Library/Preferences/SystemConfiguration/com.apple.Boot.plist
Locate:
<key>Kernel Flags</key>
<string></string>
Change it to:
<key>Kernel Flags</key>
<string>arch=x86_64</string>
I'm having some trouble booting into 64bit kernel. I have a 2009 mac mini with 64bit EFI, 64bit Proc, 64bit kernel... I've tried holding down 6+4 on boot, I've used the app 32-64 kernel selector, and tried manually updating the plist. still shows 32bit EVEN though the plist says its 64bit.
Any ideas?
