On 26.06.2025 17:13, Juergen Gross wrote: > Use the newest Mini-OS. > > Signed-off-by: Juergen Gross <[email protected]>
Acked-by: Jan Beulich <[email protected]>
- [PATCH v2 0/3] stubdom/grub: avoid relying on start_info def... Juergen Gross
- [PATCH v2 3/3] stubdom/grub: swap start_info usage with... Juergen Gross
- Re: [PATCH v2 3/3] stubdom/grub: swap start_info us... Jason Andryuk
- [PATCH v2 1/3] stubdom/grub: avoid relying on start_inf... Juergen Gross
- [PATCH v2 2/3] Config: update Mini-OS commit id Juergen Gross
- Re: [PATCH v2 2/3] Config: update Mini-OS commit id Jan Beulich
- Re: [PATCH v2 0/3] stubdom/grub: avoid relying on start... Jan Beulich
- Re: [PATCH v2 0/3] stubdom/grub: avoid relying on start... Juergen Gross
