Your RevPi base module comes with a customized version of Raspberry Pi OS with a real-time kernel patch and process image for easy I/O management.

See: RevPi Images.

You can find the latest image in the download section.