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

ccflags-y := -Iarch/x86/xenomai/include -Iinclude/xenomai
