-
See https://www.xenomai.org/pipermail/xenomai/2019-February/040321.html . Signed-off-by: Philippe Gerum <rpm@xenomai.org> Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
a9c627a8
See https://www.xenomai.org/pipermail/xenomai/2019-February/040321.html . Signed-off-by: Philippe Gerum <rpm@xenomai.org> Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>