# 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: Repo: Sourcehut: GitLab: GitHub: ## 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) ## Credits Original PKGBUILD and associated hooks taken from the Arch Linux ARM repo, maintained by Kevin Mihelich .