Я нашел ответ на этой ссылке , но не совсем то, что я хочу.
Затем я выдвинул репозиторий ядра как отдельный проект (без использования repo, так как -c "git push ...).
- $ repo forall -c'git push ssh: // имя пользователя @ myserver / my-aosp-project / $ REPO_PROJECT HEAD: refs /heads / master '
- $ git push ssh: //username@myserver/my-aosp-project/kernel.git HEAD: refs /heads / master
А также я изменил файл manifest.xml (который находится на сервере), добавив
<project path="kernel" name="kernel" />