add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/arm/kernel/Makefile
..
..
@@ -92,6 +92,11 @@
92
92
 head-y			:= head$(MMUEXT).o
93
93
 obj-$(CONFIG_DEBUG_LL)	+= debug.o
94
94
 obj-$(CONFIG_EARLY_PRINTK)	+= early_printk.o
95
+ifeq ($(CONFIG_DEBUG_LL),y)
96
+obj-$(CONFIG_RAW_PRINTK)	+= raw_printk.o
97
+endif
98
+
99
+obj-$(CONFIG_IRQ_PIPELINE)	+= irq_pipeline.o
95
100
 
96
101
 # This is executed very early using a temporary stack when no memory allocator
97
102
 # nor global data is available. Everything has to be allocated on the stack.