pi-topOS Sirius USB Boot

Hello all!

Just wondering whether anyone’s managed to get pi-topOS Sirius to boot via USB (not μSD card) on a RPi4, in e.g. a Pi-Top CEED?

If so, please let us know how!

I followed the tips in this video (https://youtu.be/pJdIG0J7QOA as well as applying the Jmicron USB quirk to cmdline.txt - found here: https://youtu.be/9HV4C0Llktk) but unfortunately it didn’t work for me and just left the red status LED on with the green one flashing rapidly three times every two seconds…

Many thanks in advance!