Re: [Xen-devel] [PATCH] stubdom: support Mini-OS config for Mini-OS apps

2016-08-30 Thread Juergen Gross
On 30/08/16 15:52, Wei Liu wrote: > On Tue, Aug 30, 2016 at 01:52:40PM +0200, Juergen Gross wrote: >> Mini-OS apps need to be compiled with the appropriate config settings >> of Mini-OS, as there are various dependencies on those settings in >> header files included by the apps. >> >> Enhance stubd

Re: [Xen-devel] [PATCH] stubdom: support Mini-OS config for Mini-OS apps

2016-08-30 Thread Wei Liu
On Tue, Aug 30, 2016 at 01:52:40PM +0200, Juergen Gross wrote: > Mini-OS apps need to be compiled with the appropriate config settings > of Mini-OS, as there are various dependencies on those settings in > header files included by the apps. > > Enhance stubdom Makefile to set the appropriate CPPFL

[Xen-devel] [PATCH] stubdom: support Mini-OS config for Mini-OS apps

2016-08-30 Thread Juergen Gross
Mini-OS apps need to be compiled with the appropriate config settings of Mini-OS, as there are various dependencies on those settings in header files included by the apps. Enhance stubdom Makefile to set the appropriate CPPFLAGS when calling the apps' make. Signed-off-by: Juergen Gross --- stub