# apt-get install xen-system

Jessie propose la version 4.4 de xen.

# ls -la /etc/grub.d/
total 88
drwxr-xr-x   2 root root  4096 mai    1 13:55 .
drwxr-xr-x 145 root root 12288 août   9 16:49 ..
-rwxr-xr-x   1 root root  9424 mars  23 17:33 00_header
-rwxr-xr-x   1 root root  6058 mars  23 16:23 05_debian_theme
-rwxr-xr-x   1 root root 12261 mars  23 17:33 10_linux
-rwxr-xr-x   1 root root 11082 mars  23 17:33 20_linux_xen
-rwxr-xr-x   1 root root 11692 mars  23 17:33 30_os-prober
-rwxr-xr-x   1 root root  1416 mars  23 17:33 30_uefi-firmware
-rwxr-xr-x   1 root root   214 mars  23 17:33 40_custom
-rwxr-xr-x   1 root root   216 mars  23 17:33 41_custom
-rw-r--r--   1 root root   483 mars  23 17:33 README
# 

C'est le contenu du répertoire /etc/grub.d qui définit l'ordre de recherche des systèmes présents et par conséquence leur ordre d'affichage lors du boot.

Il suffit de passer 20_linux_xen avant 10_linux

# dpkg-divert --divert /etc/grub.d/08_linux_xen --rename /etc/grub.d/20_linux_xen
Ajout de « détournement local de /etc/grub.d/20_linux_xen en /etc/grub.d/08_linux_xen »
#

# ls -la /etc/grub.d/
total 88
drwxr-xr-x   2 root root  4096 août   9 18:14 .
drwxr-xr-x 145 root root 12288 août   9 16:49 ..
-rwxr-xr-x   1 root root  9424 mars  23 17:33 00_header
-rwxr-xr-x   1 root root  6058 mars  23 16:23 05_debian_theme
-rwxr-xr-x   1 root root 11082 mars  23 17:33 08_linux_xen
-rwxr-xr-x   1 root root 12261 mars  23 17:33 10_linux
-rwxr-xr-x   1 root root 11692 mars  23 17:33 30_os-prober
-rwxr-xr-x   1 root root  1416 mars  23 17:33 30_uefi-firmware
-rwxr-xr-x   1 root root   214 mars  23 17:33 40_custom
-rwxr-xr-x   1 root root   216 mars  23 17:33 41_custom
-rw-r--r--   1 root root   483 mars  23 17:33 README
# 

Un “mv” pourrait faire l'affaire mais une mise à jour pourrait poser problème.

Remarque : Modifier le paramètre GRUB_DEFAULT du fichier /etc/default/grub n'est pas une bonne idée car l'installation d'un nouveau noyau peut décaler le nombre d'entrées dans le menu.

Les modifications du paramétrage de grup nécessitent la régénération du fichier /boot/grub/grub.cfg

# update-grub

Après un reboot :

# xl list
Name                                        ID   Mem VCPUs	State	Time(s)
Domain-0                                     0  7869     8     r-----     477.6
# 

1. Avec Jessie, la version de xen est la 4.4
2. Par défaut, xen utilise le toolstack xl
3. Il faut encore paramétrer le nombre de cpu et la mémoire utilisées par xen

https://wiki.debian.org/Xen