Hacker News Reader

I have found a Gentoo distribution with big endian for the raspberry pi 3, so it is out there https://github.com/zeldin/linux-1/releases

I'm fairly sure that NetBSD/arm switches to big endian once the kernel is running, the boot process is unchanged.

The thing holding it back for Rpi4 is UEFI+ACPI, so I assume there's some boot process changes.

ACPI is problematic in big endian.

You used to be able to get debian arm-be, but that was a good 15 years ago.