-
Signed-off-by: Philippe Gerum <rpm@xenomai.org> [Jan: adjust comments] Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
5ec5db8d
Signed-off-by: Philippe Gerum <rpm@xenomai.org> [Jan: adjust comments] Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>