git://xenbits.xen.org/people/liuw/mini-os.git wip.split-stubdom-v1

Wei Liu (2):
  Config.mk: use MINI_OS if specified
  Makefile: introduce STUBDOM_ROOT

 Config.mk |  4 ++++
 Makefile  | 13 +++++++------
 2 files changed, 11 insertions(+), 6 deletions(-)

-- 
2.1.4


_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel

Reply via email to