obj-$(CONFIG_XENOMAI) += xenomai.o

xenomai-y := machine.o

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