diff --git a/script/step/make_microvm_image.sh b/script/step/make_microvm_image.sh index 0700a33e87a4f1aeac88e1002f425d8b101257f1..90cc9b8fb93aa8ae4eb7ecdb5f7a9f6f5a795db0 100644 --- a/script/step/make_microvm_image.sh +++ b/script/step/make_microvm_image.sh @@ -149,7 +149,15 @@ make_micro_kernel(){ pushd /usr/src/linux${kernel_src_version} cp ${microvm_dir}/${kernel_config} .config - make -j + if [ ${arch} == "x86_64" ]; then + make ARCH=x86_64 -j + elif [ ${arch} == "aarch64" ]; then + make ARCH=arm64 -j + else + LOG "${arch} is not supported yet." + return 0 + fi + objcopy -O binary vmlinux ${kernel_file} popd