ccflags-y += -Ikernel

obj-$(CONFIG_XENO_DRIVERS_UDD) += xeno_udd.o

xeno_udd-y := udd.o
