Repositories for kernel-source-rt

You can configure individual flags for this package here. The repositories are inherited from the project home:ddiss:micros_earlyboot