Re: [PATCH v2] mini-os: don't hard-wire xen internal paths

2020-07-21 Thread Wei Liu
On Tue, Jul 21, 2020 at 12:39:40PM +, Wei Liu wrote: > On Tue, Jul 21, 2020 at 02:24:51PM +0200, Jürgen Groß wrote: > > On 21.07.20 14:21, Wei Liu wrote: > > > On Sat, Jul 18, 2020 at 08:18:27PM +0200, Samuel Thibault wrote: > > > > Juergen Gross, le lun. 13 juil. 2020 10:42:30 +0200, a ecrit:

Re: [PATCH v2] mini-os: don't hard-wire xen internal paths

2020-07-21 Thread Wei Liu
On Tue, Jul 21, 2020 at 02:24:51PM +0200, Jürgen Groß wrote: > On 21.07.20 14:21, Wei Liu wrote: > > On Sat, Jul 18, 2020 at 08:18:27PM +0200, Samuel Thibault wrote: > > > Juergen Gross, le lun. 13 juil. 2020 10:42:30 +0200, a ecrit: > > > > Mini-OS shouldn't use Xen internal paths for building. Im

Re: [PATCH v2] mini-os: don't hard-wire xen internal paths

2020-07-21 Thread Jürgen Groß
On 21.07.20 14:21, Wei Liu wrote: On Sat, Jul 18, 2020 at 08:18:27PM +0200, Samuel Thibault wrote: Juergen Gross, le lun. 13 juil. 2020 10:42:30 +0200, a ecrit: Mini-OS shouldn't use Xen internal paths for building. Import the needed paths from Xen and fall back to the current values only if th

Re: [PATCH v2] mini-os: don't hard-wire xen internal paths

2020-07-21 Thread Wei Liu
On Sat, Jul 18, 2020 at 08:18:27PM +0200, Samuel Thibault wrote: > Juergen Gross, le lun. 13 juil. 2020 10:42:30 +0200, a ecrit: > > Mini-OS shouldn't use Xen internal paths for building. Import the > > needed paths from Xen and fall back to the current values only if > > the import was not possibl

Re: [PATCH v2] mini-os: don't hard-wire xen internal paths

2020-07-18 Thread Samuel Thibault
Juergen Gross, le lun. 13 juil. 2020 10:42:30 +0200, a ecrit: > Mini-OS shouldn't use Xen internal paths for building. Import the > needed paths from Xen and fall back to the current values only if > the import was not possible. > > Signed-off-by: Juergen Gross Reviewed-by: Samuel Thibault > -