Re: [PATCH] Config: update Mini-OS commit id

Tue, 29 Jul 2025 03:48:50 -0700 

On 29.07.2025 12:46, Juergen Gross wrote:
> Use the newest Mini-OS.
> 
> Signed-off-by: Juergen Gross <[email protected]>

Acked-by: Jan Beulich <[email protected]>

Reply via email to