I was able to run the iRidium Server on Raspberry Pi 4 with official supported OS based on Buster (Debian).