Ima i ona fora da se za kernel flags upiše efi=64bit, samo da nađem kako tačno ide, pa ću da postavim. To force-uje kernel da se podigne u 64 bita.
EDIT1:
Evo ga tekstić, kako da se force-uje 64bit kernel…
http://netkas.org/?p=127
EDIT2:
Postoji i druga varijanta da se izbriše 32bit kernel i da ostane samo 64bit, pa onda mašina mora da startuje sa 64bit-nim kernelom…
0. Backup whatever kernel you’re using. Just in case.
1. in a super user shell (or sudo)
cd to /
#lipo -remove i386 mach_kernel
[you could specify the output file, but whatever.
2. Reboot
Ovo je korišćeno u WWDC (10A380) verzijama da se uradi force 64bit-nog kernela, a da li radi na finalu - nemam pojma…
Post edited by: castor, at: 2009/08/29 15:30