今のところ他のどこかに設置されていますか?今のところ、カーネルがGithubに配置されていることは知っています。
使用していたgiturlは、git://git.kernel.org/pub/scm/linux/kernel/git/jeremy/xen.gitでした。
https://github.com/jsgf/linux-xen
参照: http://xen.markmail.org/search/?q=kernel.org#query:kernel.org%20date%3A201109%20+page:1+mid:yx3unzyyl5pxqiya+state:results
うまくいったかどうかはわかりませんが、カーネルをdom0として実行するために必要なすべての機能を含む最近の(> 3.0)カーネルを使用できます。