#!/bin/bash

set -e

. /etc/default/grub

CMDLINE="$(cat /proc/cmdline)"
XEN=/boot/xen-4.14-amd64

gunzip < $XEN.gz > $XEN

kexec \
	-t multiboot2-x86 \
	-l $XEN \
	--command-line="$GRUB_CMDLINE_XEN -- $CMDLINE" \
	--module="/vmlinuz" \
	--module="/initrd.img" \

LINUX=$(realpath /vmlinuz)

echo "chargé:"
echo "$XEN"
echo "$GRUB_CMDLINE_XEN"
echo "$LINUX"
echo "$CMDLINE"
echo
echo "la dernière fois qu'on a testé, ça crashait au boot :/"
echo "si vous voulez vraiment re-tester, lancez"
echo
echo "systemctl kexec"
echo
echo "Mais il faut un systemd patché: https://github.com/systemd/systemd/pull/25226, disponible dans debian 13 seulement"