add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

1
2
3
4
5
int
this_is_just_here_to_make_automake_work()
{
    return 0;
}