Okdo ROCK Pi 4 Model C+

[Gtown]

Hi

Is there anybody here that knows the name of the original Linux OS preloaded on the SDcard on Okdo ROCK Pi 4 Model C+?

Thanks

Stian