skylyx
Merge branch 'zhangbin' of git.omnilab.sjtu.edu.cn:zhangzhaohui/dwms into sky
modify the manifest
Merge branch 'sky' of git.omnilab.sjtu.edu.cn:zhangzhaohui/dwms into zhangbin