add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

1
0€0€0€
0
0 €0€0€U 0€0
D00€
+0€€00€U 0€0
D00€
+0€€0€U 0€0
D00€
+0€€00€U 0€0
D00€
+0€€00€ì0