TL;DR
ArchLinuxARM-rpi-aarch64-latest.tar.gz works just fine but it doesn't properly bootstrap the GPU, so that, once booted and performed the following:
$this->bbcode_second_pass_code('', '
pacman-key --init
pacman-key --populate archlinuxarm
')
I have also forced-installed linux-raspberrypi4 which replaces both linux and uboot.
Bear in mind, before rebooting, it's necessary to change back the mmcblk1 prefix to mmcblk0 because this kernel looks for that card, not the 1 one:
$this->bbcode_second_pass_code('', '
sed -i 's/mmcblk1/mmcblk0/g' root/etc/fstab
')
Reboot, et voila ... all /dev/dri/* things are there
- - - - - - - - - - - -
The current 32bit version of ArchLinux ARM for RPi4 allows HW acceleration without issues, and exposes /dev/dri/renderD128, among /dev/dri/card0 and /dev/dri/card1.
It goes "bananas" if I specify both cards in weston config output section, but that's another story.
The very same aarch64 bit version of ArchLinux ARM works like a charm for my RPi3 too, where /dev/dri/renderD128 is there, as well as the single card.
The 32bit version of ArchLinux ARM works equally well in both RPi2, and RPi3, so I have HW accelerated WPEWebKit in every RPiX except the latest one on the 64bit version, which is odd to explain/understand.
Is this a well known issue? Apologies but searching /dev/dri/renderD128 brought me zero results.
Is this meant, or something low priority? I understand RPi3 is still cool and everything, but I think most old/new users are moving to the RPi4 these days, so it'd be great to have it run full steam at 64bits too.
Thoughts?