Replacing RPi 4 with a Rock 4C+

Ok, question from left field…
I am assembling some Gateways for a project. Having a real difficult time in getting my hands on RPi 4Bs. Some students I work with are using the Okdo Rock 4C+ as an alternative to a Pi (different project) running a Debian image. Rock 4C+
Has anyone had any experience with these boards as Gateways