When built as stubdom Mini-OS can't be linked to use only stable Xen
libraries, as there is only one config option for adding Xen library
support, which includes libxenctrl.
This series is changing that by adding dedicated config options for
each Xen library needing special support in Mini-OS.
Juergen Gross (2):
mini-os: fix testbuilds regarding CONFIG_XC
mini-os: add config options for xen libraries
Config.mk | 8 +++++++-
arch/x86/testbuild/all-no | 4 +++-
arch/x86/testbuild/all-yes | 8 +++++---
arch/x86/testbuild/newxen-yes | 8 +++++---
lib/sys.c | 8 ++++++--
5 files changed, 26 insertions(+), 10 deletions(-)
--
2.26.2