obj-$(CONFIG_XENOMAI) += xenomai.o
xenomai-y := machine.o smi.o c1e.o

ccflags-y := -I$(srctree)/arch/x86/xenomai/include -I$(srctree)/include/xenomai