On 07.07.2022 11:39, Juergen Gross wrote: > Switch to use the newest Mini-OS commit in order to get the recent > fixes. > > Signed-off-by: Juergen Gross <[email protected]>
Acked-by: Jan Beulich <[email protected]>
- [PATCH] Config.mk: use newest Mini-OS commit Juergen Gross
- Re: [PATCH] Config.mk: use newest Mini-OS commit Jan Beulich
