add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/kernel/time/hrtimer.c
..
..
@@ -873,6 +873,7 @@
873
873
 	on_each_cpu(retrigger_next_event, NULL, 1);
874
874
 #endif
875
875
 	timerfd_clock_was_set();
876
+	inband_clock_was_set();
876
877
 }
877
878
 
878
879
 static void clock_was_set_work(struct work_struct *work)