[pabs3]

IIRC ARM devices can also be big-endian and GCC can even generate big endian 64-bit ARM code:

https://gcc.gnu.org/onlinedocs/gcc/AArch64-Options.html

[tyingq]

Yeah, you can find an ARM big endian distribution of, for example NetBSD. No Linux that I can find. Apparently boot issues are a bit tricky.

[erk__]

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

[rjsw]

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

[tyingq]

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

[rvp-x]

ACPI is problematic in big endian.

[Nursie]

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