- patches.rt/0001-sched-count-of-queued-RT-tasks.patch: Delete.
[linux-flexiantxendom0-3.2.10.git] / drivers / xen / gntdev / Makefile
1 obj-$(CONFIG_XEN_GRANT_DEV) := gntdev.o