Raspberry Pi4 64 Bit Install

Overview
The Raspberry Pi 4 has ben out for a few weeks and already the community has been able to boot it in 64 bit mode.

Its not ready for prime time but that will change over the coming months.

Curious users need to be familiar with the use of a cross toolchain or have access to another armv8a system to build a 64 bit kernel for the Pi 4.

What Works
This will be out of date as soon as its written /boot on the SD card / on USB. The kernel cannot see ethernet USB3 Only the first 1GB RAM. A Pi3 64 bit userland

The Installation Method
Follow the method described in Raspberry Pi 3 64 bit Install

The Pi 4 differs in the kernel build, the /boot/config.txt content and the requirement for some code from raspberrypi/tools

The Pi 4 Kernel
Get the aarch64-unknown-linux-gnu cross toolchain.

To cross compile the kernel, start with

Check the other kernel configuration settings given in configure the kernel.

Build and install the kernel, device tree and kernel modules an described in install the kernel binary, install the device tree, now named and install the kernel modules.