====== Switching to 64-bit kernel on Raspbian ======
==== Kernel ====
  - ''rpi-update''
  - Select yes
  - ''echo "arm_64bit=1" >> /boot/config.txt''
  - ''reboot now''

Sources:
  * [[https://illegalexception.schlichtherle.de/raspbian/2019/09/21/how-to-upgrade-raspbian-to-a-64-bit-kernel/|Illegal Exception - How To Upgrade Raspbian To A 64 Bit Kernel]]

==== Userland ====
Not yet available (March 2020)...