Which Linux real time patch fits to the ST Linux 4.19.9 ?

[came]

We want to check if we can achieve our real time requirements with the STM32MP1 running Linux. At the RT download area (https://mirrors.edge.kernel.org/pub/linux/kernel/projects/rt/4.19/older/) we can not find a rt patch for the kernel version 4.19.9.

Does anybody know if another patch fits to the ST Linux Kernel or if a rt patch is somewhere available.

Thanks!

Carsten