K3os w/ RT Linux

Hi,
I am investigating the possibility of creating a k3os iso for a far edge cluster w/ real time Linux kernel.

I am guessing I would need to patch the kernel from https://github.com/rancher/k3os-kernel

Is there any other method, say directly using a CentOS7 RT Linux kernel?

Thanks in advance