Как собрать конкретное ядро ​​GKI? ⇐ Android

[Anonymous]

Я немного запутался. Переходя от разработки ядра Linux к Android, я полностью понимаю ценность «замороженных» ABI GKI. После этого также имеет смысл, что основной манифест AOSP ссылается на двоичные ядра, а не на источники. Но чего я не могу понять:
Как собрать конкретную версию ядра GKI? И/или: Как вы собираете модули ядра, которые работают с конкретным ядром GKI (даже если они собраны отдельно)?
Я ищу способ воспроизвести байтовые сборки. for-byte, например, в виртуальной машине. Я не могу найти никакой информации, как Google это делает. Бонусные баллы, если кто-нибудь подскажет мне, какой самый быстрый способ получить сборку модуля ядра, например, make -C/lib/modules/$(uname -r) M=$PWD.

Подробнее здесь: https://stackoverflow.com/questions/770 ... gki-kernel