Hello, Juergen Gross, le ven. 21 mars 2025 10:24:39 +0100, a ecrit: > Add basic kexec support to Mini-OS for running in x86 PVH mode.
I am wondering if you had considered using libxc to implement this? The original pv-grub1 is doing it (xen/stubdom/grub/kexec.c) Samuel
