msi/ms7135/4.1-830-g1fec04b/2015-10-24T08:56:02Z
diff --git a/msi/ms7135/4.1-830-g1fec04b/2015-10-24T08:56:02Z/config.short.txt b/msi/ms7135/4.1-830-g1fec04b/2015-10-24T08:56:02Z/config.short.txt
new file mode 100644
index 0000000..c21dbda
--- /dev/null
+++ b/msi/ms7135/4.1-830-g1fec04b/2015-10-24T08:56:02Z/config.short.txt
@@ -0,0 +1,16 @@
+CONFIG_LOCALVERSION="jakllsch"
+CONFIG_USE_OPTION_TABLE=y
+CONFIG_COLLECT_TIMESTAMPS=y
+CONFIG_USE_BLOBS=y
+CONFIG_VENDOR_MSI=y
+CONFIG_MAINBOARD_SERIAL_NUMBER="0000000000"
+CONFIG_CK804_PCIE_PME_WAKE=y
+CONFIG_BOARD_MSI_MS7135=y
+CONFIG_MAINBOARD_VERSION="0.0"
+CONFIG_DRIVERS_PS2_KEYBOARD=y
+# CONFIG_VGA_ROM_RUN is not set
+# CONFIG_ON_DEVICE_ROM_RUN is not set
+CONFIG_POST_DEVICE_LPC=y
+CONFIG_PAYLOAD_ELF=y
+CONFIG_PAYLOAD_FILE="bios.bin.elf"
+CONFIG_DEBUG_PIRQ=y