/rpi4-xenomai3

To build real-time kernel 4.19.86 with xenomai 3 for Raspberry Pi 4.

Issues