The purpose of this gist is to give to tips for using Ubuntu 20.04 () 64bit on Raspberry Pi 4.
As of today (July 22nd 2020), the latest kernel available in Focal apt is 5.4.0-1013. Unfortunately, that kernel lacks a clock required by the v3d module.