obj-y	+= evtchn/
obj-y	+= util.o
obj-y	+= core/

ifdef CONFIG_XEN_PRIVILEGED_GUEST
	obj-y += fbsetback/
	obj-y += privcmd/ 
	obj-y += kppback/
else
	obj-y += console/
	obj-y += fbsetfront/	
	obj-y += kppfront/
endif

obj-y += xenbus/
