make-defconfig.sh

#!/bin/bash
# SPDX-License-Identifier: GPL-2.0
# Copyright (C) 2021 Carles Pey <cpey@pm.me>

while [[ $# -gt 0 ]]; do
    key="$1"
    case $key in
        -d|--defconfig)
            defconfig="$2"
            shift
            shift
            ;;
        -l|--linux-src)
            srctree="$2"
            shift
            shift
            ;;
        *)
            echo "Invalid argument"
            exit 1
            ;;
    esac
done

if [[ -n $srctree ]]; then
    LINUX_SRC=$srctree
else
    TOOLS_DIR=$(echo $0 | sed  "s/\(.*\)\(\/.*\)/\1/g")
    LINUX_SRC=$TOOLS_DIR/../src/linux
fi
CWD=`pwd`

cd $LINUX_SRC
export ARCH=x86
if [[ -n $defconfig ]]; then
    make savedefconfig
    cp defconfig arch/$ARCH/configs/$defconfig
else
    make defconfig
    make x86_64_defconfig
    make kvm_guest.config
fi