| . ${ROOT_DIR}/arcvm-modules/build.config.arcvm |
| |
| . ${ROOT_DIR}/${KERNEL_DIR}/build.config.x86_64 |
| |
| DEFCONFIG=arcvm_x86_64_gki_defconfig |
| PRE_DEFCONFIG_CMDS="KCONFIG_CONFIG=${ROOT_DIR}/${KERNEL_DIR}/arch/x86/configs/${DEFCONFIG} ${ROOT_DIR}/${KERNEL_DIR}/scripts/kconfig/merge_config.sh -m -r ${ROOT_DIR}/${KERNEL_DIR}/arch/x86/configs/gki_defconfig ${ROOT_DIR}/arcvm-modules/arcvm.fragment" |
| POST_DEFCONFIG_CMDS="rm ${ROOT_DIR}/${KERNEL_DIR}/arch/x86/configs/${DEFCONFIG}" |
| # TODO(236729043): replace with ARCVM module |
| # BUILD_GOLDFISH_DRIVERS=m |
| |
| ## Not building/saving any kernel images. This build step is meant purely to generate the .kos. |
| FILES="" |
| MAKE_GOALS="modules" |
