I stumbled across a project called DietPi -- https://dietpi.com. Scroll halfway down the main page and you'll see many SBCs that it works on and might be good alternatives. Khadas are not on the list, though; I've never heard of them before now.