seba_dos1 10 months 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.