ap-common: add mini-os tree

Signed-off-by: Wei Liu <wei.liu2@citrix.com>

diff --git a/ap-common b/ap-common
index 93d594ec6e4aea5406247a08acad866669b7749d..973a34b3b559163176245f6d5cb8b1ba68e0fb7a 100644 (file)
--- a/ap-common
+++ b/ap-common
@@ -42,6 +42,9 @@
 : ${BASE_TREE_STUBDOM:=git://xenbits.xen.org/stubdom.git}
 : ${PUSH_TREE_STUBDOM:=$XENBITS:/home/xen/git/stubdom.git}
 
+: ${TREE_MINIOS:=git://xenbits.xen.org/mini-os.git}
+: ${TREEVCS_MINIOS:=git}
+
 : ${TREE_RUMPUSERXEN:=https://github.com/rumpkernel/rumprun-xen}
 : ${TREEVCS_RUMPUSERXEN:=git}
 : ${BASE_TREE_RUMPUSERXEN:=git://xenbits.xen.org/rumpuser-xen.git}