commit 667c0a2adcc64ae14ce95bf45c005ab252104656
author Alexander Potapenko <glider@google.com> Tue Nov 21 15:18:50 2023 +0100
committer Alexander Potapenko <glider@google.com> Tue Jan 30 14:50:58 2024 +0100
tree c4f084da4a457dc9d0b2d6dc99d57f98ea3a0058
parent 373b66cd2ba1fd05c72d0bbe16141fb287fe2eb3

pkg/mgrconfig, pkg/cover: introduce the android_split_build flag

Source files for Pixel devices are split between the common AOSP kernel
(path/to/kernel/aosp) and the device-specific drivers residing in a
separate dir (path/to/kernel/private/google-modules for Android 14
and path/to/kernel/gs/google-modules for older Android versions).
See https://source.android.com/docs/setup/build/building-pixel-kernels
for details.

Android build system may reference these dirs in various ways, for which
syzkaller cannot always understand where it should look for the source.

The newly introduced android_split_build flags handles the problem by adding a
list of "delimiters" used when normalizing the kernel source paths.
If the path contains any of such delimiters, then everything preceding the last
delimiter in the path is replaced with the contents of "kernel_src" from the
manager config.

By default we only support "/aosp/" and "/private/" corresponding to
modern Android systems as delimiters.