I have a custom board using P5040 (e5500 core). I am considering to upgrade the kernel from 36bit PAE mode to 64 bit, but I wonder what are the works involved.
Am I correct to assume the following?
- For uboot, no change is required. It can stay in 32 bit mode.
- For the Linux kernel, upgrading to 64 bit mode is just a matter of setting "CONFIG_PPC64" in defconfig ?
- For the drivers, since they are written for kernel in PAE mode (36bit), they would probably just work in 64bit kernel. Drivers for kernel in PAE mode have already been updated to use 64bit variables to hold the 36bit physical address.
- For user space applications, this kernel change should be transparent.
Thanks,
Ben