Package Details: linux-aarch64-raspberrypi-bin

Git Clone URL: (read-only)
Package Base: linux-aarch64-raspberrypi-bin
Description: Automated weekly build of the default branch aarch64 bcmrpi3_defconfig Linux kernel for the Raspberry Pi 3 models B/B+
Upstream URL:
Keywords: kernel raspberrypi
Licenses: GPL2
Conflicts: linux-aarch64, uboot-raspberrypi
Provides: linux=4.14.98
Submitter: ava1ar
Maintainer: ava1ar (ava1ar-auto)
Last Packager: ava1ar-auto
Votes: 12
Popularity: 0.883641
First Submitted: 2018-04-14 07:20
Last Updated: 2019-02-19 16:43

Required by (183)

Sources (5)

Pinned Comments

ava1ar commented on 2018-04-14 07:57

Currently, aarch64 version of ArchLinuxARM for Raspberry Pi 3B/3B+ is using official linux kernel build, but not the raspberry project own kernel version. As a result, some features do not work correctly (i.e. Raspberry Touch display). I found a fresh build of Raspberry official kernel for aarch64 here: and packaged it for arch usage.

To install, simply perform

$ yaourt -S linux-aarch64-raspberrypi-bin raspberrypi-overlays

and agree with all replacements. Optionally you may want to install raspberrypi-bootloader-x as well. Reboot and enjoy full featured Raspberry Pi with aarch64 Arch Linux system!

Please note, there are no corresponding kernel headers package yet. linux-raspberrypi-headers supposed to work, but they are not available for aarch64. I may add headers package later if I will need it myself.

Latest Comments

1 2 3 Next › Last »

wget commented on 2018-12-22 23:08

@wget Actually mine will be used to host HomeAssistant and alexa-pi which I'm making great again for ArchLinux. Up to now, jack is still not working. I'm still investigating.

ava1ar commented on 2018-12-17 00:28

@wget sorry, but I don't use sound at all with my current setup for RPi. It is used to host HomeAssistant and I have Raspberry Display connected to it.

wget commented on 2018-12-16 23:24

@ava1ar Do you have sound via the jack using this kernel?

ava1ar commented on 2018-09-26 01:29

@Terence, Issue you are mentioning was closed with status "won't fix", so don't expect it wo be working with 64-bit kernels.

Terence commented on 2018-09-19 19:18

Does this version fixes ?

ppryga commented on 2018-08-28 17:15

@ava1ar Well, with serial console I have full output from the power up moment, that is not possible with ssh cause it must have running operating system. Thanks to that I can investigate why my system does not boot up without monitor attached. It is a bit strange that serial console has disappear after kernel update.

ava1ar commented on 2018-08-28 05:26

@ppryga, Not sure about the serial console - I don't use it. Why not to simply use ssh for access?

ppryga commented on 2018-08-28 05:24

Hi there! I'm sorry if the question is not directed to right person. I've just updated my Arch on RSPI3B+ with you package. Because I use my device as headless I need to have serial console working. And it was before installation of the package. Are there any special steps to be done to make it working again?

Thanks in advance for your support!

rokka commented on 2018-07-27 18:16

for people like me (stupid and lazy): what @Raansu means with "get everything ready for makepkg": install base-devel and replace the matching part in makepkg.conf with the aarch64 options:

ava1ar commented on 2018-07-05 10:52


Thanks for your report. I am using it with my RPi3b for Home Assistant setup in headless mode (well, almost headless - I have Raspberry display connected, which displays HomeAssistant UI) and generally my experience is similar to yours. I tried using GUI with this kernel - it generally works, but less stable, than with official 32-bit kernel. Also, only 1Gb of RAM is a limitation for usage as desktop.