Package Details: linux-raspberrypi4-aarch64-headers 5.10.17-1

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: 0.29
First Submitted: 2019-11-16 03:56
Last Updated: 2021-03-25 14:00

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 »

SunRed commented on 2021-03-23 08:08

@Biswa96 Sorry I never came back to this. I assumed the linux-raspberrypi4 for aarch64 package did the same, but since the package doesn't include the arm_64bit option in the config.txt it doesn't actually run in 64 bit mode? When I set that option with that kernel it indeed doesn't boot properly.

Biswa96 commented on 2021-02-02 16:02

@SunRed If you are talking about this https://github.com/archlinuxarm/PKGBUILDs/tree/master/core/linux-raspberrypi4, it does not work in my case but this does.

SunRed commented on 2021-01-31 22:35

Where is the difference now actually between this kernel and linux-raspberrypi4 for aarch64?

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.

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 :).