You can compile the kernel as described here: http://www.howtoforge.com/debian_sarge_xen_3.0.3 In the kernel configuration menu you can select all options that you need.