Package Details: linux-aarch64-raspberrypi-bin 4.19.71.20190910-1

Git Clone URL: https://aur.archlinux.org/linux-aarch64-raspberrypi-bin.git (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: https://github.com/sakaki-/bcmrpi3-kernel
Keywords: kernel raspberrypi
Licenses: GPL2
Conflicts: linux-aarch64, uboot-raspberrypi
Provides: linux=4.19.71
Submitter: ava1ar
Maintainer: ava1ar (ava1ar-auto)
Last Packager: ava1ar-auto
Votes: 12
Popularity: 0.013721
First Submitted: 2018-04-14 07:20
Last Updated: 2019-09-10 18:27

Required by (197)

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: https://github.com/sakaki-/bcmrpi3-kernel and packaged it for arch usage.

To install, simply perform

$ yay -S linux-aarch64-raspberrypi-bin

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 it myself.

Latest Comments

1 2 3 Next › Last »

ava1ar commented on 2019-06-28 18:00

Regarding RPi4 support - please take a look here: https://github.com/sakaki-/bcmrpi3-kernel/issues/8#issuecomment-506823008 No support yet until sakaki release something.

wget commented on 2019-04-29 21:26

@ydallilar Great. I'll check this out this weekend :)

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 https://github.com/raspberrypi/linux/issues/2110 ?

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.