]> xenbits.xensource.com Git - people/pauldu/mini-os.git/commit
projects / people / pauldu / mini-os.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f6582d) | patch
mini-os: fix builds with uncommon config settings
authorJuergen Gross <jgross@suse.com>
Fri, 2 Sep 2016 08:56:45 +0000 (10:56 +0200)
committerWei Liu <wei.liu2@citrix.com>
Mon, 5 Sep 2016 11:16:11 +0000 (12:16 +0100)
commite35295d724d64e6e025ec31c2e510e448b8641d1
treeb108a9c1a96da7a173c0d382e4a6cf25ea5c50dftree
parent0f6582dd71454dffba4bbb21258fea25becfdd00commit | diff
mini-os: fix builds with uncommon config settings

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 <jgross@suse.com>
Reviewed-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
include/x86/os.h diff | blob | blame | history
include/xenbus.h diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.