カーネルは32bitと64bitデフォルトは32bitカーネルが起動するらしい。Core2DuoでEFIが64bitだとキーボードの6と4を押しながら起動させると64bitで起動するらしい。EFIが32bitか64bitかを確認するコマンドは以下。 ioreg -l -p IODeviceTree | grep firmware-…