add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/kernel/irq/generic-chip.c
..
..
@@ -16,7 +16,7 @@
16
16
 #include "internals.h"
17
17
 
18
18
 static LIST_HEAD(gc_list);
19
-static DEFINE_RAW_SPINLOCK(gc_lock);
19
+static DEFINE_HARD_SPINLOCK(gc_lock);
20
20
 
21
21
 /**
22
22
  * irq_gc_noop - NOOP function