Juergen Gross writes ("Re: [PATCH v2] Config: use Mini-OS commit
9f09744aa3e5982 for xen-unstable"):
> Ping?
>
> On 08.09.21 14:52, Juergen Gross wrote:
> > Switch the used Mini-OS commit to 9f09744aa3e5982 in xen-unstable.
> >
> > Signed-off-by: Juerg
Ping?
On 08.09.21 14:52, Juergen Gross wrote:
Switch the used Mini-OS commit to 9f09744aa3e5982 in xen-unstable.
Signed-off-by: Juergen Gross
---
V2:
- use a specific commit instead of master (Ian Jackson, Jan Beulich)
---
Config.mk | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
dif
Switch the used Mini-OS commit to 9f09744aa3e5982 in xen-unstable.
Signed-off-by: Juergen Gross
---
V2:
- use a specific commit instead of master (Ian Jackson, Jan Beulich)
---
Config.mk | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Config.mk b/Config.mk
index 4d723eec1d..e
