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...