Thanks! that was helpful. I'm surprised to hear that their code is not Armbian. May I know why?
It's also been hard to figure out what is firmware and what is not firmware. From what I understand, as long as I use a kernel that has the <box_name>.dtb in it, it should be able to boot right?
Can I pick something from https://github.com/armbian/community that says `aml-s9xx-box` instead and see if that works instead?