Amlogic has multiple families of SoCs for multiple segments :
Lately, the Set-Top-Boxes SoCs are also used in cheap SBCs.
For more informations, please look at :
64bit SoCs Family (GX Family)
32bit SoCs Family
All theses SoCs are partially supported by mainline linux (please see the matrix here)