I have an original Pi-Top  with a hub mk 1, Raspberry Pi 3B+ and the old version of the speaker module. I installed the ‘2020-05-18’ version of Pi-TopOS Sirius on my 16GB SD card, and it doesn’t seem to boot at all.
The first time I attempted to boot, I saw the usual rainbow boot screen, followed by a teal-colored “Pi-Top” logo, then the power light blinked for a few seconds, then the power light faded from on to off, and the laptop shut itself down. On subsequent attempts, it did exactly the same thing except it didn’t show the Pi-Top logo.
I’m pretty sure the hardware is OK because regular Raspberry Pi OS boots just fine, but I can’t use that since it doesn’t let me adjust the screen brightness. I was hoping to put Polaris back on to have something usable, but it looks like it’s not available at all anymore?
Is there anything we can try to get Sirius working on my Pi-Top ?