Linux-rpi-headers

[mistertuna93]

Hey there,

I am currently trying to install arch on a raspberry pi 5 and I am at the point where i need to replace the headers. I am trying to download them from the arch packages repo and I get a 404 page when trying to download straight from the site and if I try to use curl i just end up with an html page for the 404. Can anyone point me towards a solution?

Thanks in advance,
Charles

[baslking]

The standard archive (and all the mirrors) are not being synchronized awaiting several builds of things like the python 3.12 to 3.13 transition. All the package links point to one of these mirrors and they don't archive so the links are temporarily broken. If the version you need is the latest sync (kernel 6.12.6.1), you can find those on any of the mirrors in the core folder eg
[url]https://dk.mirror.archlinuxarm.org/archlinuxarm/aarch64/core/linux-rpi-headers-6.12.6-1-aarch64.pkg.tar.xz[/url]
Try this link that keeps archives and you should find the headers you are looking for. [url]http://tardis.tiny-vps.com/aarm/repos/[/url]