Philippe Gerum authored Nov 14, 2018 and Jan Kiszka committed Nov 16, 2018

Signed-off-by: Philippe Gerum <rpm@xenomai.org>
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>