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
