edk2-platforms VS PKGBUILDs

Almost certainly the former as the latter is barely usable (if not outright unusable). Ampere says the Altra and Altra Max are compliant with Arm SBSA and SBBR, so compliant OSes that support UEFI and ACPI should just work (no need for SoC-specific kernel trees/etc like you tend to find on SBCs with lower-end SoCs). The devkit product page also mentions that it uses "open source EDKII" firmware. It looks like Ampere released the source code for their EDK II port and is working on upstreaming it. They also published a guide on how to build the firmware.

There's an rpi3/4 edk2 uefi firmware you'd have to use in order to run it, but it does exist

It's not entirely open source (it still depends on the FSP binaries), but Intel has released UEFI initialization code for older platforms. They also contribute platform support to coreboot (though this also depends on the FSP).

If you prefer building it yourself: https://github.com/tianocore/edk2-platforms/tree/master/Platform/RaspberryPi/RPi4

> They prefer to keep inner workings secret

https://github.com/tianocore/edk2-platforms/tree/master/Sili...

Unfortunately, as another commenter has pointed out, communication between the maintainers and users has become extremely intransparent and sluggish, especially as of late. I have not tried getting in touch myself so feel free to try, but judging by how the recent PR for the linux-aarch64 package went, I wouldn't be too optimistic.

Arch Linux ARM does support C4 with mainline kernel, though requires some patching and custom packages - see https://github.com/archlinuxarm/PKGBUILDs/pull/1840

https://archlinuxarm.org/ supports ARMv8, tho not sure if it supports this specific chip

There is an ARM port though.. https://archlinuxarm.org/

I have then opened a pull request aiming to fix the issue by updating the kernel package to the latest stable release (lately 6.1.12, also chosen as LTS). This pull request has been kept up-to-date with every new 6.1.y release but sadly been ignored so far (it's been 3 weeks), like many others.

Hello. Since I’m following the progress of Asahi Linux and its Arch Linux distro I’m wondering if you have a plan to release an official image on https://archlinuxarm.org

I've not used it, but why not https://archlinuxarm.org/? Or there's an ARM-based remix of Endeavour, for example.

These would be awesome for build servers, and testing.

I really like Graviton from AWS, and Apple Silicon is great, I really hope we move towards ARM64 more. ArchLinux has https://archlinuxarm.org , I would love to use these to build and test arm64 packages.

For a fairly popular port: Arch Linux ARM