[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

[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

[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

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

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 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

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