add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

1
2
3
4
5
6
7
8
9
10
11
#!/bin/sh
# SPDX-License-Identifier: GPL-2.0
# Runs bpf test using test_bpf kernel module
 
if /sbin/modprobe -q test_bpf ; then
    /sbin/modprobe -q -r test_bpf;
    echo "test_bpf: ok";
else
    echo "test_bpf: [FAIL]";
    exit 1;
fi