build_eos.sh

#!/bin/bash
# SPDX-License-Identifier: GPL-2.0
#
# Generate GKI kernel and Eos-specific kernel binaries

DEVICE_KERNEL_BUILD_CONFIG="private/devices/google/eos/build.config.eos" \
  BUILD_KERNEL=${BUILD_KERNEL:-0} \
  private/google-modules/soc/msm/scripts/build_mixed.sh "$@"