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

Re: [PATCH] config: update Mini-OS commit

2025-03-06 Thread Jan Beulich
On 06.03.2025 14:51, Juergen Gross wrote: > Update the Mini-OS upstream revision. > > Signed-off-by: Juergen Gross Acked-by: Jan Beulich

[PATCH] config: update Mini-OS commit

2025-03-06 Thread Juergen Gross
Update the Mini-OS upstream revision. Signed-off-by: Juergen Gross --- Config.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Config.mk b/Config.mk index 8b426a580f..8a73f3da62 100644 --- a/Config.mk +++ b/Config.mk @@ -232,7 +232,7 @@ QEMU_UPSTREAM_URL ?= https://xenbits

Re: [PATCH] config: update Mini-OS commit

2024-02-07 Thread Jürgen Groß
On 07.02.24 14:41, Julien Grall wrote: Hi Juergen, On 07/02/2024 13:31, Juergen Gross wrote: Update the Mini-OS upstream revision. Signed-off-by: Juergen Gross ---   Config.mk | 2 +-   1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Config.mk b/Config.mk index f7d6d84847..077d841b

Re: [PATCH] config: update Mini-OS commit

2024-02-07 Thread Jan Beulich
On 07.02.2024 14:31, Juergen Gross wrote: > Update the Mini-OS upstream revision. > > Signed-off-by: Juergen Gross Acked-by: Jan Beulich

Re: [PATCH] config: update Mini-OS commit

2024-02-07 Thread Julien Grall
Hi Juergen, On 07/02/2024 13:31, Juergen Gross wrote: Update the Mini-OS upstream revision. Signed-off-by: Juergen Gross --- Config.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Config.mk b/Config.mk index f7d6d84847..077d841bb7 100644 --- a/Config.mk +++ b/Config.m

[PATCH] config: update Mini-OS commit

2024-02-07 Thread Juergen Gross
Update the Mini-OS upstream revision. Signed-off-by: Juergen Gross --- Config.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Config.mk b/Config.mk index f7d6d84847..077d841bb7 100644 --- a/Config.mk +++ b/Config.mk @@ -224,7 +224,7 @@ QEMU_UPSTREAM_URL ?= https://xenbits

Re: [PATCH] config: update Mini-OS commit

2023-12-05 Thread Jan Beulich
On 05.12.2023 11:35, Juergen Gross wrote: > Update the Mini-OS upstream revision. > > Signed-off-by: Juergen Gross Acked-by: Jan Beulich

[PATCH] config: update Mini-OS commit

2023-12-05 Thread Juergen Gross
Update the Mini-OS upstream revision. Signed-off-by: Juergen Gross --- Config.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Config.mk b/Config.mk index 594c70d8bb..c184add653 100644 --- a/Config.mk +++ b/Config.mk @@ -226,7 +226,7 @@ QEMU_UPSTREAM_URL ?= https://xenbits

Re: [PATCH] config: update Mini-OS commit

2023-11-22 Thread Jan Beulich
On 22.11.2023 09:14, Juergen Gross wrote: > Update the used commit for Mini-OS in order to be able to use the > 9pfs frontend. > > Signed-off-by: Juergen Gross Acked-by: Jan Beulich

[PATCH] config: update Mini-OS commit

2023-11-22 Thread Juergen Gross
Update the used commit for Mini-OS in order to be able to use the 9pfs frontend. Signed-off-by: Juergen Gross --- Config.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Config.mk b/Config.mk index 29c29f8d7f..2c43702958 100644 --- a/Config.mk +++ b/Config.mk @@ -226,7 +226