linux: add option to select the CIP real-time kernel
authorAngelo Compagnucci <angelo.compagnucci@gmail.com>
Tue, 26 Nov 2019 11:59:33 +0000 (12:59 +0100)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Tue, 26 Nov 2019 21:55:10 +0000 (22:55 +0100)
commite9daff6249f163f5de1cbfbf5924c9e5b83f4761
tree69a108aa2765531f3f50ee2787f91dd62700e87c
parent4976b8450dd4f1389679a05567f03a33aca26d03
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>
linux/Config.in
linux/linux.mk