Hmm. Got it running here, more or less impressed
Actually, I eyed purchasing one for quite a while, and after some experience with the Windows Dev Kit 2023 on Win11 and with WSL - and getting *that* thing to boot Linux, but not from USB - I bought an X13s, model 21BX001LGE. Windows11 runs nicely, as expected, with the usual settings BS, but it runs well. Most software I need for a hobby machine is already available as ARM64 or ARM64EC - great.
It also runs the aforementioned Armbian 6.3.13, and it does so from SSD. To be fair, to install I actually removed the SSD to an external enclosure (before backing it up completely with miniTool ShadowMaker), did the gparted and other stuff on a wdk2023 (also ARM64, but a RPi4 will also do nicely). Hand-wired the grub start menu accordingly, and it boots and updates as it should. It also boots from USB, although there's still some issues. Didn't come around to the qcom-battmgr userspace component and the ALSA userspace configuration yet. It's fairly usable already.
Regarding ongoing development, the x13s allowed me to crack that USB booting issue on the wdk2023, and I have that running on 6.5.2 already with sound and some power management issues the remaining big blocks (if you don't count nxp and kvm support, which can be way harder). 6.5 has almost all changes required to run either, you mostly need the device trees to boot it. So... not bad?