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.