xen.conf

   1 ENABLED=yes
   2 LABEL="Xen native EFI"
   3 ARCH=x86_64
   4 BINARY=xen.efi
   5 ARGS=""
   6
   7 install_files() {
   8
   9     update_file /usr/lib64/efi/xen.efi xen.efi
  10     update_file /etc/efi-boot/xen.cfg xen.cfg
  11
  12     update_file /boot/kernel-axeos-initrd kernel-axeos-initrd
  13     update_file /boot/kernel-axeos-vmlinuz kernel-axeos-vmlinuz
  14
  15     update_file --missingok /boot/kernel-axeos-initrd.old kernel-axeos-initrd.old
  16     update_file --missingok /boot/kernel-axeos-vmlinuz.old kernel-axeos-vmlinuz.old
  17 }