Are you sure? I've worked with a myriad of ARM devices, and I would say that despite their small size, Hardkernel are one of the most responsive companies when I have had issues.
I say that as both a Gentoo and Kali ARM dev
I say that as both a Gentoo and Kali ARM dev
Take a look here if your board is supported.
On a more personal note - thank you for your service.
You got any advice for pulling the aircrack_ng/rtl8812au driver from github and making it into a patch for building in-kernel? I really like having signed-module verification, but I also really want this driver.