You might also want to check out the RockChipConsoles community (even if it is still pretty quiet over there).

!rockchipconsoles@discuss.tchncs.de

A community for consoles based around the rockchip processors like Anbernic, Powkiddy or Odroid.