Star64: All listed distros don't boot

[tantamount]

Here an overview of what Star64 distros work or don't.
TL;DR: None listed in the wiki boot.

Irradium 3.8, kernel 6.12: 
 Doesn't boot. The power light stays green forever, no HDMI signal.
Irradium 3.8, kernel 7.0:   
 Doesn't boot. The power light stays green forever, no HDMI signal.
DietPi Trixie: 
 Doesn't boot. The power light stays green forever, no HDMI signal.
Armbian: 
 They dropped the Star64 some time ago.
NixOS v2023.11.26: 
 This one doesn't decompress: "unexpected end of file"
NixOS 23.11.20230827: 
 Doesn't boot. The power light stays green forever, no HDMI signal.
NuttX RTOS:  
 Doesn't boot. The power light stays green forever, no HDMI signal.

I still have an ancient copy of Armbian from when it did support the Star64, which does boot (non-graphical).
I used to have a copy of Fishwaldo's distro that did boot at the time.

And I do see that Fishwaldo's old images from 2023 are still available here: https://pine64.my-ho.st:8443/