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.19.36
Submitter: ava1ar
Maintainer: ava1ar (ava1ar-auto)
Last Packager: ava1ar-auto
Votes: 12
Popularity: 0.254653
First Submitted: 2018-04-14 07:20
Last Updated: 2019-04-23 17:19

Required by (182)

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 »

ydallilar commented on 2019-04-10 19:04

@wget I can confirm sound via jack is working in 3B+. As usual, 'dtparam=audio=on' in /boot/config.txt. And run 'sudo amixer cset numid=3 1'. 0 for auto, 1 for jack and 2 for hdmi. Default is hdmi I think. Jack is not enabled by default.

And thanks for the package @ava1ar

Wilhelm commented on 2019-03-18 21:51

Could you please add headers package also?

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!