Operating System on PR4100

This is probably already covered somewhere, but I couldn’t find what flavor of Linux this machine runs. Any information would be greatly appreciated.

You are correct but the package management is Debian.