add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/arm64/kernel/Makefile
..
..
@@ -48,6 +48,7 @@
48
48
 obj-$(CONFIG_ACPI_NUMA)			+= acpi_numa.o
49
49
 obj-$(CONFIG_ARM64_ACPI_PARKING_PROTOCOL)	+= acpi_parking_protocol.o
50
50
 obj-$(CONFIG_PARAVIRT)			+= paravirt.o
51
+obj-$(CONFIG_IRQ_PIPELINE)		+= irq_pipeline.o
51
52
 obj-$(CONFIG_RANDOMIZE_BASE)		+= kaslr.o
52
53
 obj-$(CONFIG_HIBERNATION)		+= hibernate.o hibernate-asm.o
53
54
 obj-$(CONFIG_KEXEC_CORE)		+= machine_kexec.o relocate_kernel.o	\