Files
shredos.x86_64/linux/linux.mk
Angelo Compagnucci e9daff6249 linux: add option to select the CIP real-time kernel
This patch adds Linux CIP RT, the PREEMPT_RT real-time variant maintained
by the CIP team.

Signed-off-by: Angelo Compagnucci <angelo@amarulasolutions.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
2019-11-26 22:55:10 +01:00

23 KiB