我是直接从清华mirror上下载的月更新repo包,通过比对.repo目录下的default.xml 与您所提供的default.xml,发现有些差异。考虑到可能是aosp主干更新,所以我通过include将redroid.xml附加在下载的default.xml的最后。但是执行repo sync之后,发现/device/下只有一个空的redroid目录。请问redroid设备的代码应该怎么更新下载呢?谢谢