The Raspberry Pi foundation have now released a beta version of an official 64-bit Kernel which can be installed using the rpi-update script. The rpi-update script can be found at https://github.com/Hexxeh/rpi-update/blob/master/rpi-update or through the Raspbian repositories.
The objective of these instructions is to build a stock 64bit Linux Kernel for use on the Raspberry Pi 3B on a Debian x64 machine (Windows Subsystem for Linux in my case), and deploy on the Raspberry Pi.
Notes:
- Transfer to Pi is using my NAS in this example, replace with shared drive/memory stick etc. as required.
- (N: drive on Windows and /mnt/NAS on Linux in this example).
- For a specific Kernel version replace the 4.19 with the wanted version in the git clone command.
Create a build directory.
mkdir ~/Pi3-Kernel && cd ~/Pi3-Kernel
Clone the official Raspberry Pi repository and pre-built binaries (Ensuring to remove the pre-built 32bit Kernel)
git clone --depth=1 -b rpi-4.19.y https://github.com/raspberrypi/linux.git
svn export https://github.com/raspberrypi/firmware/trunk/boot
rm boot/kernel*
rm boot/*.dtb
rm boot/overlays/*.dtbo
Load the stock Raspbeery Pi 3 configuration.
cd linux
make ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- bcmrpi3_defconfig
Update Config using nconfig if required (Skip for stock Pi3 config)
make ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- nconfig
Build the Kernel with optimisations for the Pi3 Arm Cortex A53 CPU.
ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- make -j4 \
CXXFLAGS="-march=armv8-a+crypto+crc -mtune=cortex-a53" \
CFLAGS="-march=armv8-a+crypto+crc -mtune=cortex-a53" \
bindeb-pkg
cp arch/arm64/boot/Image ../boot/kernel8.img
cp arch/arm64/boot/dts/overlays/*.dtbo ../boot/overlays/
cp arch/arm64/boot/dts/broadcom/*.dtb ../boot/
cd ..
Now to copy our new Kernel off the build machine and tidy up your build folder.
sudo mount -t drvfs N: /mnt/n
sudo cp *.deb /mnt/n/Pi3-Kernel/
sudo cp -r boot /mnt/n/Pi3-Kernel/
sudo rm ~/Pi3-Kernel/linux*
sudo rm -r ~/Pi3-Kernel/boot
If required create a cmdline.txt & config.txt file to boot using. We'll keep a copy of them in your home directory for now
echo 'dwc_otg.lpm_enable=0 console=tty1 root=/dev/mmcblk0p2 rootfstype=ext4 elevator=deadline fsck.repair=yes rootwait net.ifnames=0' > ~/cmdline.txt
echo $'kernel=kernel8.img\ngpu_mem=16\narm_64bit=1' > ~/config.txt
Remove the old Kernel and Install the new.
sudo cp /mnt/NAS/Pi3-Kernel/*.deb /home/pi/
cd ~/
mkdir temp && cd temp
sudo apt purge linux-headers-* linux-image-*
cd .. && rm -r temp
sudo rm -r /boot/*
sudo dpkg -i linux-headers-*.deb linux-image-*.deb linux-libc-*.deb
sudo cp -r /mnt/NAS/Pi3-Kernel/boot/* /boot/
sudo cp ~/cmdline.txt /boot/
sudo cp ~/config.txt /boot/
sudo reboot