How does this compare to https://archlinuxarm.org/? I'm surprised to not see a reference to this prior art in the article.
Arch Linux arm is great and collabora guys are great (thanks for mainlining rk3588).
I'm using this one for my desktop and it's very smooth for a passive cooling thing.
Archlinuxarm is a fork. The name is confusing because it's a fork with the same name and logo, but they have got permission to do so
Arch linux aarch64 port is not a fork, it uses the same upstream PKGBUILD which contains minimal aarch64 specific conditional compilation and config
https://ports.archlinux.page/
I think even this project was not being mentioned so maybe they are not aware of each other