...
As a basis, we use the images of the Raspberry Pi Foundation - so-called Raspbian Raspberry Pi OS images.
These are extended by the necessary drivers and hardware dependent things that are necessary to be able to operate Revolution a few Pi devices. Furthermore, the Linux kernel is made real-time capable.
So Raspbian Raspberry Pi OS images become Revolution Pi images.
...