seba_dos1 10 hours ago

> Usually you have to install them separately.

...and that won't change now either. You'll just be able to build the RT kernel from the same upstream sources as the regular one.