ccflags-y += -I$(srctree)/kernel

obj-$(CONFIG_XENO_DRIVERS_UDD) += xeno_udd.o

xeno_udd-y := udd.o