mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 10:11:27 +01:00
This patch allows user to choose mirror to get linux kernel source instead of getting it from kernel.org (which set as default)
This patch allows user to choose mirror to get linux kernel source instead of getting it from kernel.org (which set as default)