Thank you all for the continued discussion. But I still have my question: How to build kernel modules for xen?