Great question, and the answer is "No, sort of"...
There is Parmanode and ParmanodL.
Parmanode is the node software which can be installed on mac or Linux (can be a Pi).
ParmanodL is a computer configured to run Parmanode.
Parmanode OS is Raspberyy Pi OS (Debian Linux) modified to be a ParmanodL. It'll work on a Pi 64 bit at this stage, but with slight adjustments, it'll be ready for regular PCs too - next version.