Note also that we hope fairly soon (within the next few months) to move all device drivers into "I/O domains" running outside of Xen in ring 1. At that point we will hopefully be able to run Linux device drivers unmodified, so this porting pain will no longer be necessary :-)

We could add a few more dummy header files to make the job even easier, but since we're planning on moving to a new IO scheme we haven't put much effort into this.