Juergen Gross, on Fri 02 Sep 2016 07:42:36 +0200, wrote:
> I think I'll add a new make target "test" which will test different
> build configurations (PARAVIRT y/n, BALLOON y/n, 32/64 bit, Xen
> interface versions, all/no frontends). This can be easily added to
> OSStest.
Good, thanks.
Samuel
On 02/09/16 03:21, Samuel Thibault wrote:
> Hello,
>
> Juergen Gross, on Thu 01 Sep 2016 08:21:33 +0200, wrote:
>> I stumbled over the problem with xenstore-stubdom: xenstore is using
>> __XEN_LATEST_INTERFACE_VERSION__ when being compiled. This produced a
>> build error with Mini-OS
Hello,
Juergen Gross, on Thu 01 Sep 2016 08:21:33 +0200, wrote:
> I stumbled over the problem with xenstore-stubdom: xenstore is using
> __XEN_LATEST_INTERFACE_VERSION__ when being compiled. This produced a
> build error with Mini-OS (console_evtchn in include/console.h was
> #define'd to
On 30/08/16 23:38, Samuel Thibault wrote:
> Hello,
>
> Juergen Gross, on Tue 30 Aug 2016 13:51:23 +0200, wrote:
>> @@ -51,7 +51,7 @@ endif
>>
>> libc = $(stubdom)
>>
>> -XEN_INTERFACE_VERSION := 0x00030205
>> +XEN_INTERFACE_VERSION ?= 0x00030205
>
> Why making it overridable? AIUI changing
Hello,
Juergen Gross, on Tue 30 Aug 2016 13:51:23 +0200, wrote:
> @@ -51,7 +51,7 @@ endif
>
> libc = $(stubdom)
>
> -XEN_INTERFACE_VERSION := 0x00030205
> +XEN_INTERFACE_VERSION ?= 0x00030205
Why making it overridable? AIUI changing the version would change the
xen headers API, and thus
Mini-OS applications being compiled using Mini-OS headers without
being integrated in the make environment of Mini-OS need a way to set
CONFIG_* defines according to their Mini-OS configuration.
Add a new make target "config" for that purpose creating a Makefile
snipplet $(CONFIG_FILE) (defaults
