linux-raspberrypi4-aarch64

linux-raspberrypi4-aarch64 is an Arch Linux PKGBUILD script to build a 64-bit kernel for the Raspberry Pi 4 from sources.

AUR: https://aur.archlinux.org/linux-raspberrypi4-aarch64.git

Repo: https://git.esotericnonsense.com/pub/linux-raspberrypi4-aarch64.git

Sourcehut: https://git.sr.ht/~esotericnonsense/linux-raspberrypi4-aarch64

GitLab: https://gitlab.com/esotericnonsense/linux-raspberrypi4-aarch64.git

GitHub: https://github.com/esotericnonsense/linux-raspberrypi4-aarch64.git

Kernel config

Generated from 4.19.83 bcm2711_defconfig, plus:

# sane cpufreq governor (normal default is powersave, locked to 600mhz)
CPU_FREQ_DEFAULT_GOV_ONDEMAND=y
# required for mkinitcpio `encrypt` hook
DM_INTEGRITY=m

This config supports a 32-bit userland by default.

Tested with the Arch Linux ARM armv7h and aarch64 repositories.

~ esotericnonsense (Daniel Edgecumbe) git@esotericnonsense.com

Credits

Original PKGBUILD and associated hooks taken from the Arch Linux ARM repo, maintained by Kevin Mihelich kevin@archlinuxarm.org.