These are all variations of the Linux kernel, as in they are compiled with different options or components. In this case we’re talking about different schedulers, which is the part of the kernel which decides what tasks are executed, when and for how long, etc.