add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/scripts/mkcompile_h
..
..
@@ -6,8 +6,9 @@
6
6
 SMP=$3
7
7
 PREEMPT=$4
8
8
 PREEMPT_RT=$5
9
-CC_VERSION="$6"
10
-LD=$7
9
+IRQPIPE=$6
10
+CC_VERSION="$7"
11
+LD=$8
11
12
 
12
13
 vecho() { [ "${quiet}" = "silent_" ] || echo "$@" ; }
13
14
 
..
..
@@ -45,6 +46,7 @@
45
46
 if [ -n "$SMP" ] ; then CONFIG_FLAGS="SMP"; fi
46
47
 if [ -n "$PREEMPT" ] ; then CONFIG_FLAGS="$CONFIG_FLAGS PREEMPT"; fi
47
48
 if [ -n "$PREEMPT_RT" ] ; then CONFIG_FLAGS="$CONFIG_FLAGS PREEMPT_RT"; fi
49
+if [ -n "$IRQPIPE" ] ; then CONFIG_FLAGS="$CONFIG_FLAGS IRQPIPE"; fi
48
50
 
49
51
 # Truncate to maximum length
50
52
 UTS_LEN=64