The link for the Debian OS is broken in the docs. Product Introduction: Sige1 | ArmSoM docs
I don’t believe there’s a github repo for the Rockchip RK3528 either.
The code for rk3528 has not been uploaded, and the Debian firmware for sige1 can be built under armbian