diff --git a/arch/arm64/configs/microdroid.fragment b/arch/arm64/configs/microdroid.fragment
index 8cf5a3436c4f..dc6c0b0245dc 100644
--- a/arch/arm64/configs/microdroid.fragment
+++ b/arch/arm64/configs/microdroid.fragment
@@ -4,6 +4,9 @@ CONFIG_VIRTIO_CONSOLE=y
 CONFIG_VIRTIO_PCI=y
 CONFIG_VIRTIO_VSOCKETS=y
 
+# To use kdump
+CONFIG_KEXEC_FILE=y
+
 # Remove unnecessary serial devices
 # CONFIG_SERIAL_8250_16550A_VARIANT is not set
 # CONFIG_SERIAL_8250_DMA is not set
diff --git a/arch/x86/configs/microdroid.fragment b/arch/x86/configs/microdroid.fragment
index dfa0a64dd507..65af5d63cd8f 100644
--- a/arch/x86/configs/microdroid.fragment
+++ b/arch/x86/configs/microdroid.fragment
@@ -4,6 +4,9 @@ CONFIG_VIRTIO_CONSOLE=y
 CONFIG_VIRTIO_PCI=y
 CONFIG_VIRTIO_VSOCKETS=y
 
+# To use kdump
+CONFIG_KEXEC_FILE=y
+
 # Remove unnecessary serial devices
 # CONFIG_SERIAL_8250_16550A_VARIANT is not set
 # CONFIG_SERIAL_8250_DMA is not set