Switching to 64-bit kernel on Raspbian

Kernel

  1. rpi-update
  2. Select yes
  3. echo “arm_64bit=1” » /boot/config.txt
  4. reboot now

Sources:

Userland

Not yet available (March 2020)…