diff --git a/arch/arm64/configs/microdroid.fragment b/arch/arm64/configs/microdroid.fragment
new file mode 100644
index 000000000000..e69de29bb2d1
diff --git a/arch/x86/configs/microdroid.fragment b/arch/x86/configs/microdroid.fragment
new file mode 100644
index 000000000000..e69de29bb2d1
diff --git a/build.config.microdroid b/build.config.microdroid
new file mode 100644
index 000000000000..2c644e5509d9
--- /dev/null
+++ b/build.config.microdroid
@@ -0,0 +1,15 @@
+SRCARCH=${ARCH}
+if [ "${ARCH}" = x86_64 ]; then
+    SRCARCH=x86
+fi
+
+DEFCONFIG=microdroid_defconfig
+
+# MERGED_CONFIG is created by merging GKI_DEFCONFIG and FRAGMENT_CONFIG using MERGE_SCRIPT
+MERGE_SCRIPT=${ROOT_DIR}/${KERNEL_DIR}/scripts/kconfig/merge_config.sh
+GKI_DEFCONFIG=${ROOT_DIR}/${KERNEL_DIR}/arch/${SRCARCH}/configs/gki_defconfig
+FRAGMENT_CONFIG=${ROOT_DIR}/${KERNEL_DIR}/arch/${SRCARCH}/configs/microdroid.fragment
+MERGED_CONFIG=${ROOT_DIR}/${KERNEL_DIR}/arch/${SRCARCH}/configs/${DEFCONFIG}
+
+PRE_DEFCONFIG_CMDS="KCONFIG_CONFIG=${MERGED_CONFIG} ${MERGE_SCRIPT} -m ${GKI_DEFCONFIG} ${FRAGMENT_CONFIG}"
+POST_DEFCONFIG_CMDS="rm ${MERGED_CONFIG}"
diff --git a/build.config.microdroid.aarch64 b/build.config.microdroid.aarch64
new file mode 100644
index 000000000000..48cece23f5c3
--- /dev/null
+++ b/build.config.microdroid.aarch64
@@ -0,0 +1,3 @@
+. ${ROOT_DIR}/${KERNEL_DIR}/build.config.common
+. ${ROOT_DIR}/${KERNEL_DIR}/build.config.aarch64
+. ${ROOT_DIR}/${KERNEL_DIR}/build.config.microdroid
diff --git a/build.config.microdroid.x86_64 b/build.config.microdroid.x86_64
new file mode 100644
index 000000000000..c2011219868f
--- /dev/null
+++ b/build.config.microdroid.x86_64
@@ -0,0 +1,3 @@
+. ${ROOT_DIR}/${KERNEL_DIR}/build.config.common
+. ${ROOT_DIR}/${KERNEL_DIR}/build.config.x86_64
+. ${ROOT_DIR}/${KERNEL_DIR}/build.config.microdroid