Package Details: linux-raspberrypi4-aarch64 5.4.79-2

Git Clone URL: https://aur.archlinux.org/linux-raspberrypi4-aarch64.git (read-only, click to copy)
Package Base: linux-raspberrypi4-aarch64
Description: None
Upstream URL: http://www.kernel.org/
Keywords: aarch64 kernel linux raspberrypi
Licenses: GPL2
Submitter: esotericnonsense
Maintainer: Biswa96
Last Packager: Biswa96
Votes: 10
Popularity: 1.72
First Submitted: 2019-11-16 03:56
Last Updated: 2020-12-23 08:50

Pinned Comments

Biswa96 commented on 2020-10-24 10:17

Compiled packages can be found in my mirror git repository in GitHub. Release page: https://github.com/Biswa96/linux-raspberrypi4-aarch64/releases

Latest Comments

1 2 Next › Last »

Nihili0 commented on 2020-12-10 16:00

@Biswa96 I've done all that, but I had to reflash the eeprom with the BOOT_ORDER=0xf41 option because it was not correctly set even though the tools said it was. It now works. Thanks

Biswa96 commented on 2020-12-10 07:43

@Nihili0 Yes, it is possible to booth this kernel from a USB drive. Even I am doing that since RPi4 bootloader supports USB booting. But one has to edit the cmdline.txt and /etc/fstab to current UUID of the partitions. I am looking for a script to do it.

Nihili0 commented on 2020-12-09 23:49

Can we boot from USB with this kernel with no SD card inserted? Because the rpi complains about the SD card not being inserted and don't want to boot even with vcgencmd bootloader_config BOOT_ORDER set to 0xf41.

SunRed commented on 2020-12-08 12:45

First of all, thank you so much for maintaining this package. I think the suggestion was about submitting another package with the -bin suffix that fetches the precompiled binaries as sources instead of compiling the kernel yourself (what this package does). Since downloads from GitHub are quite heavily throttled currently (to about 100 Kbps) at least for me I would also like to provide a mirror for the binaries and also would like to ask you to sign the binaries for that if possible.

Biswa96 commented on 2020-12-06 21:07

@webreflection That name would be misleading because the package builds the binaries itself instead of downloading from another repository.

webreflection commented on 2020-12-06 19:52

can't you publish those on AUR under linux-raspberrypi4-bin-aarch64? ...I'm doing that for WPEWebKit, cairo-glesv2, and others ... it's all via GitHub repos, so no cost added, maybe worth a shot? Anyway, thanks for this, I'm trying to see if it makes me run weston without DRM issues (fingers crossed)

faddat commented on 2020-11-19 10:14

And, done!

https://github.com/faddat/spos

Thanks for your work on this @Biswa96.

It made the difference between devices working and not working, and also between arch and needing to use an inferior operating system.

faddat commented on 2020-11-18 14:35

Biswa, far as I can tell, the current 64 bit arch linux arm doesn't quite....

work. I have intermittent network problems with it that are quite frustrating. 

sudo echo "MODULES=(bcm_phy_lib broadcom mdio_bcm_unimac genet)" >> /etc/mkinitcpio.conf

Worked for a bit, but now does not.

I'm trying your setup now :). Think that the bottom line here is that these raspberry pi CPUs are simply happier with non-generic settings and older kernels which is too bad.

https://github.com/raspberrypi/linux/issues/3108

Let's see how your pkgbuild does :).

ohmyarch commented on 2020-11-16 15:41

Very helpful, thanks!!!

Biswa96 commented on 2020-11-15 07:51

faddat, I have once asked about that in ArchLinuxARM IRC. But they asked me why we need AArch64 Linux kernel for Raspberry Pi4 as we already have armv7 Linux kernel. So frustrating...