Re: [Xen-devel] [PATCH 1/3] mini-os: fix builds with uncommon config settings

2016-09-02 Thread Samuel Thibault
Juergen Gross, on Fri 02 Sep 2016 10:56:45 +0200, wrote: > Some config settings won't build standalone. Fix the following cases: > > - all CONFIG_* set to "n" > - standard config with latest Xen interface version > > Signed-off-by: Juergen Gross Reviewed-by: Samuel Thibault

[Xen-devel] [PATCH 1/3] mini-os: fix builds with uncommon config settings

2016-09-02 Thread Juergen Gross
Some config settings won't build standalone. Fix the following cases: - all CONFIG_* set to "n" - standard config with latest Xen interface version Signed-off-by: Juergen Gross --- include/x86/os.h | 5 + include/xenbus.h | 6 -- 2 files changed, 9 insertions(+), 2