3 ms·
Raspbian contains a 64-bit kernel nowadays, add arm_64bit=1 to your /boot/config.txt You now have a 64-bit kernel with 32-bit userland. It is unclear to me
by the-dude 7y ago
Raspbian contains a 64-bit kernel nowadays, add
arm_64bit=1
to your /boot/config.txt
You now have a 64-bit kernel with 32-bit userland.
It is unclear to me what kind of code gcc now generates with -march=native. If somebody could clear that up, would be very much appreciated ( ie, does it use 31 GPRs ).