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

2025-07-29 Thread Jan Beulich
On 29.07.2025 12:46, Juergen Gross wrote: > Use the newest Mini-OS. > > Signed-off-by: Juergen Gross Acked-by: Jan Beulich

[PATCH] Config: update Mini-OS commit id

2025-07-29 Thread Juergen Gross
Use the newest Mini-OS. Signed-off-by: Juergen Gross --- Config.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Config.mk b/Config.mk index 20e4382ef8..7edbab8efe 100644 --- a/Config.mk +++ b/Config.mk @@ -208,7 +208,7 @@ QEMU_UPSTREAM_URL ?= https://xenbits.xen.org/git-h

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

2025-07-17 Thread Jan Beulich
On 17.07.2025 08:56, Juergen Gross wrote: > Use the newest Mini-OS. > > Signed-off-by: Juergen Gross Acked-by: Jan Beulich

[PATCH] Config: update Mini-OS commit id

2025-07-16 Thread Juergen Gross
Use the newest Mini-OS. Signed-off-by: Juergen Gross --- Config.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Config.mk b/Config.mk index 55b1b83d49..6430a871cb 100644 --- a/Config.mk +++ b/Config.mk @@ -208,7 +208,7 @@ QEMU_UPSTREAM_URL ?= https://xenbits.xen.org/git-h