Real time kernel


Hello, I’m using Patchbox OS for my research and I was wondering what real time kernel is it using. Is it Real-Time Linux or Xenomai or maybe other solution?

Also I would like to know how the real time kernel is implemented, does it relies on high-priority operations or does it has at the bottom a sort of software to receive hardware interrupts?

Thanks in advance for the help!



Hi, the kernel is based on the -rt branch of the official Raspberry Pi kernel:, it is maintained by:

It is built using the script here:

1 Like