kernel-source-rt from home:ddiss:micros_earlyboot project

Select Your Operating System

Add repository and install manually

For standard run the following as root:

Grab binary packages directly

Packages for standard: