I've been running Debian on my Lenovo X13s ARM64 Laptop and I'd like to switch to Archlinux-ARM.
However, it seems Archlinux-ARM really doesn't support that ARM64 device? Even though it's around 2 years old already and one of the most if not the most important ARM laptop?