Hello, I was wondering where the dts file is for the X88 King (if you have one, I am assuming as you have a DTB file for the x88 king on the website that is bundled in the img you flash), I checked the linux-amlogic repo and while I found the directories (arch/{arch}/boot/dts) where the dts’s seem to be contained, I could not find one for the X88 King specifically (neither with a github search).
Edit: I found a dts file named the same thing from linux-ogu-4.9/g12b_s922x_x88_king_rev_a.dts at ogu-4.9 · JohnnyonFlame/linux-ogu-4.9 · GitHub is this the one CoreELEC uses and if so, should it be added to the linux-amlogic repo so it is easier to find?