Real time kernel

#1

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!

0 Likes

#2

Hi, the kernel is based on the -rt branch of the official Raspberry Pi kernel: https://github.com/raspberrypi/linux/tree/rpi-4.14.y-rt, it is maintained by: https://github.com/TiejunChina

It is built using the script here: https://github.com/BlokasLabs/rpi-kernel-rt

1 Like