msi/ms7135/4.1-854-g7a5413a/2015-10-26T06:32:58Z
diff --git a/msi/ms7135/4.1-854-g7a5413a/2015-10-26T06:32:58Z/cbfs.txt b/msi/ms7135/4.1-854-g7a5413a/2015-10-26T06:32:58Z/cbfs.txt
new file mode 100644
index 0000000..dc0d327
--- /dev/null
+++ b/msi/ms7135/4.1-854-g7a5413a/2015-10-26T06:32:58Z/cbfs.txt
@@ -0,0 +1,14 @@
+Name                           Offset     Type         Size
+cpu_microcode_blob.bin         0x0        microcode    6144
+cmos_layout.bin                0x1880     cmos_layout  1720
+fallback/dsdt.aml              0x1f80     raw          5961
+fallback/romstage              0x3740     stage        32020
+fallback/ramstage              0xb4c0     stage        52876
+fallback/payload               0x183c0    payload      51567
+config                         0x24d80    raw          425
+revision                       0x24f80    raw          578
+etc/screen-and-debug           0x25200    raw          8
+vgaroms/sgabios.bin.lzma       0x25240    optionrom    2462 (3584 after LZMA decompression)
+pci1000,0056.rom.lzma          0x25c40    optionrom    44 (512 after LZMA decompression)
+pci10de,0057.rom.lzma          0x25cc0    optionrom    53959 (54784 after LZMA decompression)
+(empty)                        0x33000    null         313880
diff --git a/msi/ms7135/4.1-854-g7a5413a/2015-10-26T06:32:58Z/config.short.txt b/msi/ms7135/4.1-854-g7a5413a/2015-10-26T06:32:58Z/config.short.txt
new file mode 100644
index 0000000..df9c4d2
--- /dev/null
+++ b/msi/ms7135/4.1-854-g7a5413a/2015-10-26T06:32:58Z/config.short.txt
@@ -0,0 +1,15 @@
+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_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
diff --git a/msi/ms7135/4.1-854-g7a5413a/2015-10-26T06:32:58Z/config.txt b/msi/ms7135/4.1-854-g7a5413a/2015-10-26T06:32:58Z/config.txt
new file mode 100644
index 0000000..1caee4f
--- /dev/null
+++ b/msi/ms7135/4.1-854-g7a5413a/2015-10-26T06:32:58Z/config.txt
@@ -0,0 +1,519 @@
+#
+# Automatically generated file; DO NOT EDIT.
+# coreboot configuration
+#
+
+#
+# General setup
+#
+CONFIG_LOCALVERSION="jakllsch"
+CONFIG_CBFS_PREFIX="fallback"
+# CONFIG_MULTIPLE_CBFS_INSTANCES is not set
+CONFIG_COMPILER_GCC=y
+# CONFIG_COMPILER_LLVM_CLANG is not set
+# CONFIG_ANY_TOOLCHAIN is not set
+# CONFIG_CCACHE is not set
+# CONFIG_FMD_GENPARSER is not set
+# CONFIG_SCONFIG_GENPARSER is not set
+CONFIG_USE_OPTION_TABLE=y
+# CONFIG_STATIC_OPTION_TABLE is not set
+# CONFIG_UNCOMPRESSED_RAMSTAGE is not set
+CONFIG_COMPRESS_RAMSTAGE=y
+CONFIG_INCLUDE_CONFIG_FILE=y
+# CONFIG_EARLY_CBMEM_INIT is not set
+CONFIG_COLLECT_TIMESTAMPS=y
+CONFIG_HAS_PRECBMEM_TIMESTAMP_REGION=y
+CONFIG_USE_BLOBS=y
+# CONFIG_COVERAGE is not set
+# CONFIG_RELOCATABLE_MODULES is not set
+CONFIG_FLASHMAP_OFFSET=0x0
+CONFIG_BOOTBLOCK_SIMPLE=y
+# CONFIG_BOOTBLOCK_NORMAL is not set
+CONFIG_BOOTBLOCK_SOURCE="bootblock_simple.c"
+# CONFIG_SKIP_MAX_REBOOT_CNT_CLEAR is not set
+# CONFIG_UPDATE_IMAGE is not set
+# CONFIG_GENERIC_GPIO_LIB is not set
+# CONFIG_BOARD_ID_AUTO is not set
+# CONFIG_BOARD_ID_MANUAL is not set
+# CONFIG_RAM_CODE_SUPPORT is not set
+# CONFIG_BOOTSPLASH_IMAGE is not set
+# CONFIG_ACPI_SATA_GENERATOR is not set
+
+#
+# Mainboard
+#
+# CONFIG_VENDOR_A_TREND is not set
+# CONFIG_VENDOR_AAEON is not set
+# CONFIG_VENDOR_ABIT is not set
+# CONFIG_VENDOR_ADLINK is not set
+# CONFIG_VENDOR_ADVANSUS is not set
+# CONFIG_VENDOR_AMD is not set
+# CONFIG_VENDOR_AOPEN is not set
+# CONFIG_VENDOR_APPLE is not set
+# CONFIG_VENDOR_ARIMA is not set
+# CONFIG_VENDOR_ARTECGROUP is not set
+# CONFIG_VENDOR_ASROCK is not set
+# CONFIG_VENDOR_ASUS is not set
+# CONFIG_VENDOR_AVALUE is not set
+# CONFIG_VENDOR_AZZA is not set
+# CONFIG_VENDOR_BACHMANN is not set
+# CONFIG_VENDOR_BAP is not set
+# CONFIG_VENDOR_BCOM is not set
+# CONFIG_VENDOR_BIFFEROS is not set
+# CONFIG_VENDOR_BIOSTAR is not set
+# CONFIG_VENDOR_BROADCOM is not set
+# CONFIG_VENDOR_COMPAQ is not set
+# CONFIG_VENDOR_CUBIETECH is not set
+# CONFIG_VENDOR_DIGITALLOGIC is not set
+# CONFIG_VENDOR_DMP is not set
+# CONFIG_VENDOR_ECS is not set
+# CONFIG_VENDOR_EMULATION is not set
+# CONFIG_VENDOR_GETAC is not set
+# CONFIG_VENDOR_GIGABYTE is not set
+# CONFIG_VENDOR_GIZMOSPHERE is not set
+# CONFIG_VENDOR_GOOGLE is not set
+# CONFIG_VENDOR_HP is not set
+# CONFIG_VENDOR_IBASE is not set
+# CONFIG_VENDOR_IBM is not set
+# CONFIG_VENDOR_IEI is not set
+# CONFIG_VENDOR_INTEL is not set
+# CONFIG_VENDOR_IWAVE is not set
+# CONFIG_VENDOR_IWILL is not set
+# CONFIG_VENDOR_JETWAY is not set
+# CONFIG_VENDOR_KONTRON is not set
+# CONFIG_VENDOR_LANNER is not set
+# CONFIG_VENDOR_LENOVO is not set
+# CONFIG_VENDOR_LINUTOP is not set
+# CONFIG_VENDOR_LIPPERT is not set
+# CONFIG_VENDOR_MITAC is not set
+CONFIG_VENDOR_MSI=y
+# CONFIG_VENDOR_NEC is not set
+# CONFIG_VENDOR_NEWISYS is not set
+# CONFIG_VENDOR_NOKIA is not set
+# CONFIG_VENDOR_NVIDIA is not set
+# CONFIG_VENDOR_PACKARDBELL is not set
+# CONFIG_VENDOR_PCENGINES is not set
+# CONFIG_VENDOR_RCA is not set
+# CONFIG_VENDOR_RODA is not set
+# CONFIG_VENDOR_SAMSUNG is not set
+# CONFIG_VENDOR_SIEMENS is not set
+# CONFIG_VENDOR_SOYO is not set
+# CONFIG_VENDOR_SUNW is not set
+# CONFIG_VENDOR_SUPERMICRO is not set
+# CONFIG_VENDOR_TECHNEXION is not set
+# CONFIG_VENDOR_THOMSON is not set
+# CONFIG_VENDOR_TI is not set
+# CONFIG_VENDOR_TRAVERSE is not set
+# CONFIG_VENDOR_TYAN is not set
+# CONFIG_VENDOR_VIA is not set
+# CONFIG_VENDOR_WINENT is not set
+# CONFIG_VENDOR_WYSE is not set
+CONFIG_BOARD_SPECIFIC_OPTIONS=y
+CONFIG_MAINBOARD_DIR="msi/ms7135"
+CONFIG_MAINBOARD_PART_NUMBER="MS-7135"
+CONFIG_IRQ_SLOT_COUNT=13
+CONFIG_MAINBOARD_VENDOR="MSI"
+CONFIG_APIC_ID_OFFSET=0x0
+CONFIG_HW_MEM_HOLE_SIZEK=0x100000
+CONFIG_MAX_CPUS=2
+CONFIG_MAX_PHYSICAL_CPUS=1
+# CONFIG_HW_MEM_HOLE_SIZE_AUTO_INC is not set
+CONFIG_HT_CHAIN_END_UNITID_BASE=0x20
+CONFIG_HT_CHAIN_UNITID_BASE=0
+# CONFIG_ONBOARD_VGA_IS_PRIMARY is not set
+# CONFIG_VGA_BIOS is not set
+# CONFIG_UDELAY_IO is not set
+CONFIG_MAINBOARD_SERIAL_NUMBER="0000000000"
+CONFIG_DCACHE_RAM_BASE=0xc8000
+CONFIG_DCACHE_RAM_SIZE=0x08000
+CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="MSI"
+CONFIG_AGP_APERTURE_SIZE=0x4000000
+CONFIG_CK804_PCI_E_X=0
+CONFIG_CK804_PCIE_PME_WAKE=y
+CONFIG_UART_FOR_CONSOLE=0
+CONFIG_ID_SECTION_OFFSET=0x80
+CONFIG_RAMTOP=0x200000
+CONFIG_TTYS0_LCS=3
+CONFIG_CBFS_SIZE=0x80000
+CONFIG_CACHE_ROM_SIZE_OVERRIDE=0
+CONFIG_UDELAY_LAPIC_FIXED_FSB=200
+CONFIG_POST_DEVICE=y
+CONFIG_CPU_ADDR_BITS=40
+# CONFIG_BOARD_MSI_MS_6119 is not set
+# CONFIG_BOARD_MSI_MS_6147 is not set
+# CONFIG_BOARD_MSI_MS_6156 is not set
+# CONFIG_BOARD_MSI_MS_6178 is not set
+CONFIG_BOARD_MSI_MS7135=y
+# CONFIG_BOARD_MSI_MS7260 is not set
+# CONFIG_BOARD_MSI_MS9185 is not set
+# CONFIG_BOARD_MSI_MS9282 is not set
+# CONFIG_BOARD_MSI_MS9652_FAM10 is not set
+CONFIG_DEFAULT_CONSOLE_LOGLEVEL=8
+# CONFIG_USBDEBUG is not set
+CONFIG_MAINBOARD_VERSION="0.0"
+# CONFIG_DRIVERS_PS2_KEYBOARD is not set
+CONFIG_IOMMU=y
+# CONFIG_HW_SCRUBBER is not set
+CONFIG_CK804_NUM=1
+CONFIG_BOARD_ROMSIZE_KB_512=y
+# CONFIG_COREBOOT_ROMSIZE_KB_64 is not set
+# CONFIG_COREBOOT_ROMSIZE_KB_128 is not set
+# CONFIG_COREBOOT_ROMSIZE_KB_256 is not set
+CONFIG_COREBOOT_ROMSIZE_KB_512=y
+# CONFIG_COREBOOT_ROMSIZE_KB_1024 is not set
+# CONFIG_COREBOOT_ROMSIZE_KB_2048 is not set
+# CONFIG_COREBOOT_ROMSIZE_KB_4096 is not set
+# CONFIG_COREBOOT_ROMSIZE_KB_8192 is not set
+# CONFIG_COREBOOT_ROMSIZE_KB_12288 is not set
+# CONFIG_COREBOOT_ROMSIZE_KB_16384 is not set
+CONFIG_COREBOOT_ROMSIZE_KB=512
+CONFIG_ROM_SIZE=0x80000
+# CONFIG_SYSTEM_TYPE_LAPTOP is not set
+
+#
+# Chipset
+#
+
+#
+# SoC
+#
+# CONFIG_SOC_BROADCOM_CYGNUS is not set
+CONFIG_CHIPSET_BOOTBLOCK_INCLUDE="southbridge/nvidia/ck804/romstrap.inc"
+CONFIG_BOOTBLOCK_NORTHBRIDGE_INIT="northbridge/amd/amdk8/bootblock.c"
+CONFIG_BOOTBLOCK_SOUTHBRIDGE_INIT="southbridge/nvidia/ck804/bootblock.c"
+CONFIG_TTYS0_BASE=0x3f8
+CONFIG_EHCI_BAR=0xfef00000
+CONFIG_HEAP_SIZE=0x40000
+# CONFIG_SOC_MARVELL_BG4CD is not set
+# CONFIG_SOC_NVIDIA_TEGRA124 is not set
+# CONFIG_SOC_NVIDIA_TEGRA132 is not set
+# CONFIG_SOC_NVIDIA_TEGRA210 is not set
+# CONFIG_SOC_QC_IPQ806X is not set
+# CONFIG_SOC_ROCKCHIP_RK3288 is not set
+# CONFIG_CPU_SAMSUNG_EXYNOS5250 is not set
+# CONFIG_CPU_SAMSUNG_EXYNOS5420 is not set
+# CONFIG_SOC_UCB_RISCV is not set
+
+#
+# CPU
+#
+# CONFIG_CPU_ALLWINNER_A10 is not set
+CONFIG_CPU_AMD_SOCKET_754=y
+CONFIG_SOCKET_SPECIFIC_OPTIONS=y
+CONFIG_DCACHE_BSP_STACK_SIZE=0x2000
+CONFIG_DCACHE_BSP_STACK_SLUSH=0x1000
+CONFIG_DCACHE_AP_STACK_SIZE=0x400
+CONFIG_CBB=0x00
+CONFIG_CDB=0x18
+CONFIG_XIP_ROM_SIZE=0x10000
+CONFIG_CPU_AMD_MODEL_FXX=y
+# CONFIG_LIFT_BSP_APIC_ID is not set
+# CONFIG_SET_FIDVID is not set
+CONFIG_NUM_IPI_STARTS=2
+# CONFIG_CPU_AMD_AGESA is not set
+# CONFIG_CPU_AMD_PI is not set
+# CONFIG_CPU_ARMLTD_CORTEX_A9 is not set
+CONFIG_SSE2=y
+# CONFIG_CPU_INTEL_FIRMWARE_INTERFACE_TABLE is not set
+# CONFIG_CPU_INTEL_TURBO_NOT_PACKAGE_SCOPED is not set
+# CONFIG_CPU_TI_AM335X is not set
+# CONFIG_PARALLEL_CPU_INIT is not set
+CONFIG_UDELAY_LAPIC=y
+# CONFIG_LAPIC_MONOTONIC_TIMER is not set
+# CONFIG_UDELAY_TSC is not set
+# CONFIG_UDELAY_TIMER2 is not set
+# CONFIG_TSC_CALIBRATE_WITH_IO is not set
+CONFIG_TSC_SYNC_LFENCE=y
+# CONFIG_TSC_SYNC_MFENCE is not set
+CONFIG_LOGICAL_CPUS=y
+# CONFIG_SMM_TSEG is not set
+CONFIG_X86_AMD_FIXED_MTRRS=y
+# CONFIG_PLATFORM_USES_FSP1_0 is not set
+# CONFIG_PARALLEL_MP is not set
+# CONFIG_BACKUP_DEFAULT_SMM_REGION is not set
+# CONFIG_MIRROR_PAYLOAD_TO_RAM_BEFORE_LOADING is not set
+CONFIG_CACHE_AS_RAM=y
+CONFIG_SMP=y
+CONFIG_AP_SIPI_VECTOR=0xfffff000
+CONFIG_MMX=y
+CONFIG_SSE=y
+CONFIG_SUPPORT_CPU_UCODE_IN_CBFS=y
+CONFIG_CPU_MICROCODE_ADDED_DURING_BUILD=y
+CONFIG_CPU_MICROCODE_CBFS_GENERATE=y
+# CONFIG_CPU_MICROCODE_CBFS_EXTERNAL is not set
+# CONFIG_CPU_MICROCODE_CBFS_NONE is not set
+# CONFIG_CPU_MICROCODE_MULTIPLE_FILES is not set
+
+#
+# Northbridge
+#
+# CONFIG_NORTHBRIDGE_AMD_AGESA is not set
+# CONFIG_SB_HT_CHAIN_UNITID_OFFSET_ONLY is not set
+CONFIG_HT_CHAIN_DISTRIBUTE=y
+CONFIG_NORTHBRIDGE_AMD_AMDK8=y
+# CONFIG_K8_HT_FREQ_1G_SUPPORT is not set
+# CONFIG_RAMINIT_SYSINFO is not set
+# CONFIG_WAIT_BEFORE_CPUS_INIT is not set
+# CONFIG_K8_FORCE_2T_DRAM_TIMING is not set
+CONFIG_QRANK_DIMM_SUPPORT=y
+# CONFIG_K8_ALLOCATE_IO_RANGE is not set
+# CONFIG_K8_REV_F_SUPPORT is not set
+# CONFIG_AMD_NB_CIMX is not set
+# CONFIG_NORTHBRIDGE_AMD_CIMX_RD890 is not set
+CONFIG_VIDEO_MB=0
+# CONFIG_NORTHBRIDGE_AMD_PI is not set
+CONFIG_RAMBASE=0x100000
+CONFIG_HPET_ADDRESS=0xfed00000
+CONFIG_HPET_MIN_TICKS=0xfa
+CONFIG_MAX_PIRQ_LINKS=4
+
+#
+# Southbridge
+#
+# CONFIG_AMD_SB_CIMX is not set
+# CONFIG_SOUTHBRIDGE_AMD_CIMX_SB800 is not set
+# CONFIG_SOUTHBRIDGE_AMD_CIMX_SB900 is not set
+# CONFIG_SOUTHBRIDGE_INTEL_COMMON is not set
+CONFIG_SOUTHBRIDGE_NVIDIA_CK804=y
+CONFIG_CK804_USE_NIC=y
+CONFIG_CK804_USE_ACI=y
+CONFIG_CK804B_PCI_E_X=4
+
+#
+# Super I/O
+#
+CONFIG_SUPERIO_WINBOND_COMMON_ROMSTAGE=y
+CONFIG_SUPERIO_WINBOND_W83627THG=y
+
+#
+# Embedded Controllers
+#
+# CONFIG_MAINBOARD_HAS_CHROMEOS is not set
+# CONFIG_UEFI_2_4_BINDING is not set
+# CONFIG_ARCH_ARM is not set
+# CONFIG_ARCH_BOOTBLOCK_ARM is not set
+# CONFIG_ARCH_VERSTAGE_ARM is not set
+# CONFIG_ARCH_ROMSTAGE_ARM is not set
+# CONFIG_ARCH_RAMSTAGE_ARM is not set
+# CONFIG_ARCH_BOOTBLOCK_ARMV4 is not set
+# CONFIG_ARCH_VERSTAGE_ARMV4 is not set
+# CONFIG_ARCH_ROMSTAGE_ARMV4 is not set
+# CONFIG_ARCH_RAMSTAGE_ARMV4 is not set
+# CONFIG_ARCH_BOOTBLOCK_ARMV7 is not set
+# CONFIG_ARCH_VERSTAGE_ARMV7 is not set
+# CONFIG_ARCH_ROMSTAGE_ARMV7 is not set
+# CONFIG_ARCH_RAMSTAGE_ARMV7 is not set
+# CONFIG_ARCH_BOOTBLOCK_ARMV7_M is not set
+# CONFIG_ARCH_VERSTAGE_ARMV7_M is not set
+# CONFIG_ARM_BOOTBLOCK_CUSTOM is not set
+# CONFIG_ARM_LPAE is not set
+# CONFIG_ARCH_ARM64 is not set
+# CONFIG_ARCH_BOOTBLOCK_ARM64 is not set
+# CONFIG_ARCH_VERSTAGE_ARM64 is not set
+# CONFIG_ARCH_ROMSTAGE_ARM64 is not set
+# CONFIG_ARCH_RAMSTAGE_ARM64 is not set
+# CONFIG_ARCH_BOOTBLOCK_ARMV8_64 is not set
+# CONFIG_ARCH_VERSTAGE_ARMV8_64 is not set
+# CONFIG_ARCH_ROMSTAGE_ARMV8_64 is not set
+# CONFIG_ARCH_RAMSTAGE_ARMV8_64 is not set
+# CONFIG_ARM64_BOOTBLOCK_CUSTOM is not set
+# CONFIG_ARM64_A53_ERRATUM_843419 is not set
+# CONFIG_ARCH_MIPS is not set
+# CONFIG_ARCH_BOOTBLOCK_MIPS is not set
+# CONFIG_ARCH_VERSTAGE_MIPS is not set
+# CONFIG_ARCH_ROMSTAGE_MIPS is not set
+# CONFIG_ARCH_RAMSTAGE_MIPS is not set
+# CONFIG_ARCH_RISCV is not set
+# CONFIG_ARCH_BOOTBLOCK_RISCV is not set
+# CONFIG_ARCH_VERSTAGE_RISCV is not set
+# CONFIG_ARCH_ROMSTAGE_RISCV is not set
+# CONFIG_ARCH_RAMSTAGE_RISCV is not set
+# CONFIG_RISCV_BOOTBLOCK_CUSTOM is not set
+CONFIG_ARCH_X86=y
+CONFIG_ARCH_BOOTBLOCK_X86_32=y
+CONFIG_ARCH_VERSTAGE_X86_32=y
+CONFIG_ARCH_ROMSTAGE_X86_32=y
+CONFIG_ARCH_RAMSTAGE_X86_32=y
+# CONFIG_ARCH_BOOTBLOCK_X86_64 is not set
+# CONFIG_ARCH_VERSTAGE_X86_64 is not set
+# CONFIG_ARCH_ROMSTAGE_X86_64 is not set
+# CONFIG_ARCH_RAMSTAGE_X86_64 is not set
+# CONFIG_AP_IN_SIPI_WAIT is not set
+# CONFIG_SIPI_VECTOR_IN_ROM is not set
+# CONFIG_ROMCC is not set
+CONFIG_LATE_CBMEM_INIT=y
+CONFIG_PC80_SYSTEM=y
+# CONFIG_HAVE_CMOS_DEFAULT is not set
+CONFIG_IOAPIC_INTERRUPTS_ON_FSB=y
+# CONFIG_IOAPIC_INTERRUPTS_ON_APIC_SERIAL_BUS is not set
+# CONFIG_COMPILE_IN_DSDT is not set
+
+#
+# Devices
+#
+# CONFIG_MAINBOARD_HAS_NATIVE_VGA_INIT is not set
+CONFIG_NATIVE_VGA_INIT_USE_EDID=y
+# CONFIG_MAINBOARD_HAS_NATIVE_VGA_INIT_TEXTMODECFG is not set
+# CONFIG_VGA_ROM_RUN is not set
+# CONFIG_ON_DEVICE_ROM_RUN is not set
+# CONFIG_MULTIPLE_VGA_ADAPTERS is not set
+# CONFIG_SMBUS_HAS_AUX_CHANNELS is not set
+# CONFIG_SPD_CACHE is not set
+CONFIG_PCI=y
+CONFIG_HYPERTRANSPORT_PLUGIN_SUPPORT=y
+CONFIG_PCIX_PLUGIN_SUPPORT=y
+CONFIG_PCIEXP_PLUGIN_SUPPORT=y
+CONFIG_CARDBUS_PLUGIN_SUPPORT=y
+# CONFIG_AZALIA_PLUGIN_SUPPORT is not set
+# CONFIG_PCIEXP_COMMON_CLOCK is not set
+# CONFIG_PCIEXP_ASPM is not set
+# CONFIG_PCIEXP_CLK_PM is not set
+# CONFIG_EARLY_PCI_BRIDGE is not set
+CONFIG_SUBSYSTEM_VENDOR_ID=0x0000
+CONFIG_SUBSYSTEM_DEVICE_ID=0x0000
+# CONFIG_PXE_ROM is not set
+# CONFIG_SOFTWARE_I2C is not set
+
+#
+# Generic Drivers
+#
+# CONFIG_DRIVERS_AS3722_RTC is not set
+CONFIG_DEVICE_SPECIFIC_OPTIONS=y
+# CONFIG_GIC is not set
+# CONFIG_SMBIOS_PROVIDED_BY_MOBO is not set
+# CONFIG_DRIVERS_I2C_RTD2132 is not set
+# CONFIG_INTEL_DP is not set
+# CONFIG_INTEL_DDI is not set
+# CONFIG_INTEL_EDID is not set
+# CONFIG_INTEL_INT15 is not set
+# CONFIG_INTEL_GMA_ACPI is not set
+# CONFIG_DRIVER_INTEL_I210 is not set
+# CONFIG_IPMI_KCS is not set
+# CONFIG_DRIVERS_LENOVO_WACOM is not set
+# CONFIG_DRIVER_MAXIM_MAX77686 is not set
+# CONFIG_DRIVER_PARADE_PS8625 is not set
+CONFIG_DRIVERS_MC146818=y
+# CONFIG_MAINBOARD_HAS_LPC_TPM is not set
+# CONFIG_DRIVERS_RICOH_RCE822 is not set
+# CONFIG_DRIVERS_SIL_3114 is not set
+# CONFIG_SPI_FLASH is not set
+# CONFIG_HAVE_SPI_CONSOLE_SUPPORT is not set
+# CONFIG_DRIVER_TI_TPS65090 is not set
+# CONFIG_DRIVERS_TI_TPS65913 is not set
+# CONFIG_DRIVERS_TI_TPS65913_RTC is not set
+CONFIG_DRIVERS_UART=y
+CONFIG_DRIVERS_UART_8250IO=y
+# CONFIG_NO_UART_ON_SUPERIO is not set
+# CONFIG_DRIVERS_UART_8250MEM is not set
+# CONFIG_DRIVERS_UART_8250MEM_32 is not set
+# CONFIG_HAVE_UART_SPECIAL is not set
+# CONFIG_DRIVERS_UART_OXPCIE is not set
+# CONFIG_DRIVERS_UART_PL011 is not set
+CONFIG_HAVE_USBDEBUG=y
+# CONFIG_HAVE_USBDEBUG_OPTIONS is not set
+# CONFIG_DRIVER_XPOWERS_AXP209 is not set
+CONFIG_RTC=y
+# CONFIG_TPM is not set
+CONFIG_STACK_SIZE=0x1000
+# CONFIG_MMCONF_SUPPORT_DEFAULT is not set
+# CONFIG_MMCONF_SUPPORT is not set
+# CONFIG_BOOTMODE_STRAPS is not set
+
+#
+# Console
+#
+CONFIG_SQUELCH_EARLY_SMP=y
+CONFIG_CONSOLE_SERIAL=y
+
+#
+# I/O mapped, 8250-compatible
+#
+CONFIG_CONSOLE_SERIAL_115200=y
+# CONFIG_CONSOLE_SERIAL_57600 is not set
+# CONFIG_CONSOLE_SERIAL_38400 is not set
+# CONFIG_CONSOLE_SERIAL_19200 is not set
+# CONFIG_CONSOLE_SERIAL_9600 is not set
+CONFIG_TTYS0_BAUD=115200
+# CONFIG_SPKMODEM is not set
+# CONFIG_CONSOLE_NE2K is not set
+CONFIG_CONSOLE_CBMEM=y
+CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x20000
+CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y
+# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_7 is not set
+# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_6 is not set
+# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_5 is not set
+# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_4 is not set
+# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_3 is not set
+# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_2 is not set
+# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_1 is not set
+# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_0 is not set
+# CONFIG_NO_POST is not set
+# CONFIG_CMOS_POST is not set
+# CONFIG_CONSOLE_POST is not set
+# CONFIG_POST_DEVICE_NONE is not set
+CONFIG_POST_DEVICE_LPC=y
+# CONFIG_POST_DEVICE_PCI_PCIE is not set
+CONFIG_POST_IO=y
+CONFIG_POST_IO_PORT=0x80
+# CONFIG_HAVE_ACPI_RESUME is not set
+CONFIG_HAVE_HARD_RESET=y
+# CONFIG_HAVE_MONOTONIC_TIMER is not set
+CONFIG_HAVE_OPTION_TABLE=y
+# CONFIG_PIRQ_ROUTE is not set
+# CONFIG_HAVE_SMI_HANDLER is not set
+# CONFIG_PCI_IO_CFG_EXT is not set
+CONFIG_IOAPIC=y
+# CONFIG_USE_WATCHDOG_ON_BOOT is not set
+CONFIG_VGA=y
+# CONFIG_GFXUMA is not set
+CONFIG_HAVE_ACPI_TABLES=y
+CONFIG_HAVE_MP_TABLE=y
+CONFIG_HAVE_PIRQ_TABLE=y
+# CONFIG_COMMON_FADT is not set
+
+#
+# System tables
+#
+CONFIG_GENERATE_MP_TABLE=y
+CONFIG_GENERATE_PIRQ_TABLE=y
+CONFIG_GENERATE_SMBIOS_TABLES=y
+CONFIG_MAINBOARD_SMBIOS_PRODUCT_NAME="MS-7135"
+
+#
+# Payload
+#
+# CONFIG_PAYLOAD_NONE is not set
+CONFIG_PAYLOAD_ELF=y
+# CONFIG_PAYLOAD_FILO is not set
+# CONFIG_PAYLOAD_GRUB2 is not set
+# CONFIG_PAYLOAD_SEABIOS is not set
+# CONFIG_PAYLOAD_LINUX is not set
+# CONFIG_PAYLOAD_TIANOCORE is not set
+CONFIG_PAYLOAD_FILE="bios.bin.elf"
+CONFIG_COMPRESSED_PAYLOAD_LZMA=y
+
+#
+# Debugging
+#
+# CONFIG_GDB_STUB is not set
+# CONFIG_FATAL_ASSERTS is not set
+# CONFIG_DEBUG_CBFS is not set
+CONFIG_HAVE_DEBUG_RAM_SETUP=y
+# CONFIG_DEBUG_RAM_SETUP is not set
+CONFIG_HAVE_DEBUG_CAR=y
+# CONFIG_DEBUG_CAR is not set
+CONFIG_DEBUG_PIRQ=y
+CONFIG_HAVE_DEBUG_SMBUS=y
+# CONFIG_DEBUG_SMBUS is not set
+# CONFIG_DEBUG_MALLOC is not set
+# CONFIG_DEBUG_ACPI is not set
+# CONFIG_TRACE is not set
+# CONFIG_ENABLE_APIC_EXT_ID is not set
+CONFIG_WARNINGS_ARE_ERRORS=y
+# CONFIG_POWER_BUTTON_DEFAULT_ENABLE is not set
+# CONFIG_POWER_BUTTON_DEFAULT_DISABLE is not set
+# CONFIG_POWER_BUTTON_FORCE_ENABLE is not set
+# CONFIG_POWER_BUTTON_FORCE_DISABLE is not set
+# CONFIG_POWER_BUTTON_IS_OPTIONAL is not set
+# CONFIG_REG_SCRIPT is not set
+CONFIG_MAX_REBOOT_CNT=3
diff --git a/msi/ms7135/4.1-854-g7a5413a/2015-10-26T06:32:58Z/coreboot_console.txt b/msi/ms7135/4.1-854-g7a5413a/2015-10-26T06:32:58Z/coreboot_console.txt
new file mode 100644
index 0000000..2ca9b32
--- /dev/null
+++ b/msi/ms7135/4.1-854-g7a5413a/2015-10-26T06:32:58Z/coreboot_console.txt
@@ -0,0 +1,149 @@
+CBFS: Locating 'cmos_layout.bin'
+CBFS: Found @ offset 1880 size 6b8
+
+
+coreboot-4.1-854-g7a5413a-jakllsch Mon Oct 26 06:32:58 UTC 2015 ramstage starting...
+Enumerating buses...
+setup_bsp_ramtop, TOP MEM: msr.lo = 0x80000000, msr.hi = 0x00000000
+setup_bsp_ramtop, TOP MEM2: msr.lo = 0x00000000, msr.hi = 0x00000000
+CBFS: Locating 'cmos_layout.bin'
+CBFS: Found @ offset 1880 size 6b8
+done
+Allocating resources...
+Reading resources...
+APIC: 00 missing read_resources
+CBFS: Locating 'cmos_layout.bin'
+CBFS: Found @ offset 1880 size 6b8
+Done reading resources.
+Setting resources...
+ERROR: PNP: 004e.3 f1 irq size: 0x0000000001 not assigned
+ERROR: PNP: 004e.5 f0 irq size: 0x0000000001 not assigned
+Done setting resources.
+Done allocating resources.
+Enabling resources...
+done.
+Initializing devices...
+Initializing CPU #0
+Enabling cache
+Setting up local apic...done.
+CBFS: Locating 'cmos_layout.bin'
+CBFS: Found @ offset 1880 size 6b8
+CPU #0 initialized
+lpc_init: pm_base = 3000 
+CBFS: Locating 'cmos_layout.bin'
+CBFS: Found @ offset 1880 size 6b8
+set power on after power fail
+CBFS: Locating 'cmos_layout.bin'
+CBFS: Found @ offset 1880 size 6b8
+CBFS: Locating 'cmos_layout.bin'
+CBFS: Found @ offset 1880 size 6b8
+Devices initialized
+Finalize devices...
+Devices finalized
+CBFS: Locating 'cmos_layout.bin'
+CBFS: Found @ offset 1880 size 6b8
+Writing IRQ routing tables to 0xf0000...done.
+Writing IRQ routing tables to 0x7ffdd000...done.
+CBFS: Locating 'fallback/dsdt.aml'
+CBFS: Found @ offset 1f80 size 1749
+CBFS: Locating 'fallback/slic'
+CBFS: 'fallback/slic' not found.
+ACPI: Writing ACPI tables at 7ffb8000.
+mcfg_base e0000000.
+ACPI: done.
+Root Device (MSI MS-7135)
+CPU_CLUSTER: 0 (AMD K8 Root Complex)
+APIC: 00 (unknown)
+DOMAIN: 0000 (AMD K8 Root Complex)
+PCI: 00:18.0 (AMD K8 Northbridge)
+PCI: 00:00.0 (NVIDIA CK804 Southbridge)
+PCI: 00:01.0 (NVIDIA CK804 Southbridge)
+PNP: 004e.0 (Winbond W83627THG Super I/O)
+PNP: 004e.1 (Winbond W83627THG Super I/O)
+PNP: 004e.2 (Winbond W83627THG Super I/O)
+PNP: 004e.3 (Winbond W83627THG Super I/O)
+PNP: 004e.5 (Winbond W83627THG Super I/O)
+PNP: 004e.7 (Winbond W83627THG Super I/O)
+PNP: 004e.8 (Winbond W83627THG Super I/O)
+PNP: 004e.9 (Winbond W83627THG Super I/O)
+PNP: 004e.a (Winbond W83627THG Super I/O)
+PNP: 004e.b (Winbond W83627THG Super I/O)
+PCI: 00:01.1 (NVIDIA CK804 Southbridge)
+PCI: 00:02.0 (NVIDIA CK804 Southbridge)
+PCI: 00:02.1 (NVIDIA CK804 Southbridge)
+PCI: 00:04.0 (NVIDIA CK804 Southbridge)
+PCI: 00:04.1 (NVIDIA CK804 Southbridge)
+PCI: 00:06.0 (NVIDIA CK804 Southbridge)
+PCI: 00:07.0 (NVIDIA CK804 Southbridge)
+PCI: 00:08.0 (NVIDIA CK804 Southbridge)
+PCI: 00:09.0 (NVIDIA CK804 Southbridge)
+PCI: 00:0a.0 (NVIDIA CK804 Southbridge)
+PCI: 00:0b.0 (NVIDIA CK804 Southbridge)
+PCI: 00:0c.0 (NVIDIA CK804 Southbridge)
+PCI: 00:0d.0 (NVIDIA CK804 Southbridge)
+PCI: 00:0e.0 (NVIDIA CK804 Southbridge)
+PCI: 00:18.1 (AMD K8 Northbridge)
+PCI: 00:18.2 (AMD K8 Northbridge)
+PCI: 00:18.3 (AMD K8 Northbridge)
+PCI: 01:00.0 (unknown)
+PCI: 03:00.0 (unknown)
+CBFS: Locating 'cmos_layout.bin'
+CBFS: Found @ offset 1880 size 6b8
+CBFS: Locating 'cmos_layout.bin'
+CBFS: Found @ offset 1880 size 6b8
+CBFS: Locating 'fallback/payload'
+CBFS: Found @ offset 183c0 size c96f
+SeaBIOS (version rel-1.8.0-180-g9efbc0f)
+BUILD: gcc: (coreboot toolchain v1.32 July 17th, 2015) 5.2.0 binutils: (GNU Binutils) 2.25
+Found coreboot cbmem console @ 7ffde000
+Found mainboard MSI MS-7135
+Relocating init from 0x000e9ca0 to 0x7ff57180 (size 32224)
+Found CBFS header at 0xfffffa48
+multiboot: eax=0, ebx=0
+Found 19 PCI devices (max PCI bus is 03)
+Copying SMBIOS entry point from 0x7ffa7000 to 0x000f1a60
+Copying ACPI RSDP from 0x7ffb8000 to 0x000f1a30
+Copying MPTABLE from 0x7ffdc000/7ffdc010 to 0x000f1840
+Copying PIR from 0x7ffdd000 to 0x000f1740
+Using pmtimer, ioport 0x3008
+Scan for VGA option rom
+Running option rom at c000:0003
+Running option rom at cd00:0003
+Turning on vga text mode console
+EHCI init on dev 00:02.1 (regs=0xf4405020)
+OHCI init on dev 00:02.0 (regs=0xf4400000)
+Found 1 lpt ports
+Found 2 serial ports
+ATA controller 1 at 1f0/3f4/0 (irq 14 dev 30)
+ATA controller 2 at 170/374/0 (irq 15 dev 30)
+ATA controller 3 at 4850/4878/0 (irq 0 dev 38)
+ATA controller 4 at 4858/487c/0 (irq 0 dev 38)
+ata0-0: WDC WD800BB-75CAA0 ATA-5 Hard-Disk (74 GiBytes)
+Searching bootorder for: /pci@i0cf8/*@6/drive@0/disk@0
+ATA controller 5 at 4860/4880/0 (irq 0 dev 40)
+ATA controller 6 at 4868/4884/0 (irq 0 dev 40)
+PS2 keyboard initialized
+All threads complete.
+Scan for option roms
+Running option rom at ce00:0003
+pmm call arg1=1
+pmm call arg1=0
+pmm call arg1=1
+pmm call arg1=0
+Searching bootorder for: /pci@i0cf8/*@a
+Searching bootorder for: /pci@i0cf8/pci-bridge@e/*@0
+Searching bootorder for: HALT
+drive 0x000f1690: PCHS=16383/16/63 translation=lba LCHS=1024/255/63 s=156250000
+Running option rom at cf00:0003
+Space available for UMB: cf800-ef000, f0000-f1650
+Returned 262144 bytes of ZoneHigh
+e820 map has 5 items:
+  0: 0000000000000000 - 000000000009f800 = 1 RAM
+  1: 000000000009f800 - 00000000000a0000 = 2 RESERVED
+  2: 00000000000f0000 - 0000000000100000 = 2 RESERVED
+  3: 0000000000100000 - 000000007ff9f000 = 1 RAM
+  4: 000000007ff9f000 - 0000000080000000 = 2 RESERVED
+enter handle_19:
+  NULL
+Booting from 0000:7c00
+
diff --git a/msi/ms7135/4.1-854-g7a5413a/2015-10-26T06:32:58Z/coreboot_timestamps.txt b/msi/ms7135/4.1-854-g7a5413a/2015-10-26T06:32:58Z/coreboot_timestamps.txt
new file mode 100644
index 0000000..dda69e0
--- /dev/null
+++ b/msi/ms7135/4.1-854-g7a5413a/2015-10-26T06:32:58Z/coreboot_timestamps.txt
@@ -0,0 +1,17 @@
+12 entries total:
+
+   0:1st timestamp                                     336,354
+  10:start of ramstage                                 336,354 (0)
+  30:device enumeration                                336,357 (2)
+  40:device configuration                              357,470 (21,113)
+  50:device enable                                     390,504 (33,033)
+  60:device initialization                             393,260 (2,756)
+  70:device setup done                                 440,179 (46,918)
+  75:cbmem post                                        440,180 (0)
+  80:write tables                                      440,180 (0)
+  90:load payload                                      615,058 (174,877)
+  15:starting LZMA decompress (ignore for x86)         621,662 (6,604)
+  16:finished LZMA decompress (ignore for x86)         673,464 (51,802)
+  99:selfboot jump                                     673,470 (5)
+
+Total Time: 337,110
diff --git a/msi/ms7135/4.1-854-g7a5413a/2015-10-26T06:32:58Z/kernel_log.txt b/msi/ms7135/4.1-854-g7a5413a/2015-10-26T06:32:58Z/kernel_log.txt
new file mode 100644
index 0000000..4c1309f
--- /dev/null
+++ b/msi/ms7135/4.1-854-g7a5413a/2015-10-26T06:32:58Z/kernel_log.txt
@@ -0,0 +1,549 @@
+[    0.000000] Initializing cgroup subsys cpuset
+[    0.000000] Initializing cgroup subsys cpu
+[    0.000000] Linux version 3.2.0-4-amd64 (debian-kernel@lists.debian.org) (gcc version 4.6.3 (Debian 4.6.3-14) ) #1 SMP Debian 3.2.68-1+deb7u5
+[    0.000000] Command line: BOOT_IMAGE=/boot/vmlinuz-3.2.0-4-amd64 root=UUID=952fb4da-576e-46f7-8173-64f8266e5027 ro console=ttyS0,115200 console=tty0
+[    0.000000] BIOS-provided physical RAM map:
+[    0.000000]  BIOS-e820: 0000000000000000 - 000000000009f800 (usable)
+[    0.000000]  BIOS-e820: 000000000009f800 - 00000000000a0000 (reserved)
+[    0.000000]  BIOS-e820: 00000000000f0000 - 0000000000100000 (reserved)
+[    0.000000]  BIOS-e820: 0000000000100000 - 000000007ff9f000 (usable)
+[    0.000000]  BIOS-e820: 000000007ff9f000 - 0000000080000000 (reserved)
+[    0.000000] NX (Execute Disable) protection: active
+[    0.000000] SMBIOS 2.7 present.
+[    0.000000] DMI: MSI MS-7135/MS-7135, BIOS jakllsch 10/26/2015
+[    0.000000] e820 update range: 0000000000000000 - 0000000000010000 (usable) ==> (reserved)
+[    0.000000] e820 remove range: 00000000000a0000 - 0000000000100000 (usable)
+[    0.000000] No AGP bridge found
+[    0.000000] last_pfn = 0x7ff9f max_arch_pfn = 0x400000000
+[    0.000000] MTRR default type: uncachable
+[    0.000000] MTRR fixed ranges enabled:
+[    0.000000]   00000-9FFFF write-back
+[    0.000000]   A0000-BFFFF uncachable
+[    0.000000]   C0000-FFFFF write-back
+[    0.000000] MTRR variable ranges enabled:
+[    0.000000]   0 base 0000000000 mask FF80000000 write-back
+[    0.000000]   1 base 00E0000000 mask FFF0000000 write-combining
+[    0.000000]   2 disabled
+[    0.000000]   3 disabled
+[    0.000000]   4 disabled
+[    0.000000]   5 disabled
+[    0.000000]   6 disabled
+[    0.000000]   7 disabled
+[    0.000000] x86 PAT enabled: cpu 0, old 0x7040600070406, new 0x7010600070106
+[    0.000000] found SMP MP-table at [ffff8800000f1840] f1840
+[    0.000000] initial memory mapped : 0 - 20000000
+[    0.000000] Base memory trampoline at [ffff88000009a000] 9a000 size 20480
+[    0.000000] init_memory_mapping: 0000000000000000-000000007ff9f000
+[    0.000000]  0000000000 - 007fe00000 page 2M
+[    0.000000]  007fe00000 - 007ff9f000 page 4k
+[    0.000000] kernel direct mapping tables up to 7ff9f000 @ 1fffc000-20000000
+[    0.000000] RAMDISK: 36a56000 - 37523000
+[    0.000000] ACPI: RSDP 00000000000f1a30 00024 (v02 CORE  )
+[    0.000000] ACPI: XSDT 000000007ffb80e0 00064 (v01 CORE   COREBOOT 00000000 CORE 00000000)
+[    0.000000] ACPI: FACP 000000007ffb99d0 00074 (v01 CORE   COREBOOT 00000000 CORE 00000000)
+[    0.000000] ACPI: DSDT 000000007ffb8280 01749 (v01 CORE   CB-DSDT  00000001 INTL 20150619)
+[    0.000000] ACPI: FACS 000000007ffb8240 00040
+[    0.000000] ACPI: SSDT 000000007ffb9ad0 0022E (v02 CORE   COREBOOT 0000002A CORE 0000002A)
+[    0.000000] ACPI: MCFG 000000007ffb9d00 0003C (v01 CORE   COREBOOT 00000000 CORE 00000000)
+[    0.000000] ACPI: TCPA 000000007ffb9d40 00032 (v02 CORE   COREBOOT 00000000 CORE 00000000)
+[    0.000000] ACPI: APIC 000000007ffb9d80 00050 (v01 CORE   COREBOOT 00000000 CORE 00000000)
+[    0.000000] ACPI: SRAT 000000007ffb9dd0 00090 (v01 CORE   COREBOOT 00000000 CORE 00000000)
+[    0.000000] ACPI: SLIT 000000007ffb9e60 0002D (v01 CORE   COREBOOT 00000000 CORE 00000000)
+[    0.000000] ACPI: HPET 000000007ffb9e90 00038 (v01 CORE   COREBOOT 00000000 CORE 00000000)
+[    0.000000] ACPI: Local APIC address 0xfee00000
+[    0.000000] SRAT: PXM 0 -> APIC 0x00 -> Node 0
+[    0.000000] SRAT: Node 0 PXM 0 0-a0000
+[    0.000000] SRAT: Node 0 PXM 0 100000-80000000
+[    0.000000] NUMA: Initialized distance table, cnt=1
+[    0.000000] NUMA: Node 0 [0,a0000) + [100000,7ff9f000) -> [0,7ff9f000)
+[    0.000000] Initmem setup node 0 0000000000000000-000000007ff9f000
+[    0.000000]   NODE_DATA [000000007ff99000 - 000000007ff9dfff]
+[    0.000000]  [ffffea0000000000-ffffea0001bfffff] PMD -> [ffff88007d600000-ffff88007f1fffff] on node 0
+[    0.000000] Zone PFN ranges:
+[    0.000000]   DMA      0x00000010 -> 0x00001000
+[    0.000000]   DMA32    0x00001000 -> 0x00100000
+[    0.000000]   Normal   empty
+[    0.000000] Movable zone start PFN for each node
+[    0.000000] early_node_map[2] active PFN ranges
+[    0.000000]     0: 0x00000010 -> 0x0000009f
+[    0.000000]     0: 0x00000100 -> 0x0007ff9f
+[    0.000000] On node 0 totalpages: 524078
+[    0.000000]   DMA zone: 56 pages used for memmap
+[    0.000000]   DMA zone: 5 pages reserved
+[    0.000000]   DMA zone: 3922 pages, LIFO batch:0
+[    0.000000]   DMA32 zone: 7111 pages used for memmap
+[    0.000000]   DMA32 zone: 512984 pages, LIFO batch:31
+[    0.000000] ACPI: PM-Timer IO Port: 0x3008
+[    0.000000] ACPI: Local APIC address 0xfee00000
+[    0.000000] ACPI: LAPIC (acpi_id[0x00] lapic_id[0x00] enabled)
+[    0.000000] ACPI: LAPIC_NMI (acpi_id[0x00] high edge lint[0x1])
+[    0.000000] ACPI: IOAPIC (id[0x02] address[0xfec00000] gsi_base[0])
+[    0.000000] IOAPIC[0]: apic_id 2, version 17, address 0xfec00000, GSI 0-23
+[    0.000000] ACPI: INT_SRC_OVR (bus 0 bus_irq 9 global_irq 9 low level)
+[    0.000000] ACPI: IRQ9 used by override.
+[    0.000000] Using ACPI (MADT) for SMP configuration information
+[    0.000000] ACPI: HPET id: 0x10de8201 base: 0xfed00000
+[    0.000000] SMP: Allowing 1 CPUs, 0 hotplug CPUs
+[    0.000000] nr_irqs_gsi: 40
+[    0.000000] PM: Registered nosave memory: 000000000009f000 - 00000000000a0000
+[    0.000000] PM: Registered nosave memory: 00000000000a0000 - 00000000000f0000
+[    0.000000] PM: Registered nosave memory: 00000000000f0000 - 0000000000100000
+[    0.000000] Allocating PCI resources starting at 80000000 (gap: 80000000:80000000)
+[    0.000000] Booting paravirtualized kernel on bare hardware
+[    0.000000] setup_percpu: NR_CPUS:512 nr_cpumask_bits:512 nr_cpu_ids:1 nr_node_ids:1
+[    0.000000] PERCPU: Embedded 27 pages/cpu @ffff88007fc00000 s78912 r8192 d23488 u2097152
+[    0.000000] pcpu-alloc: s78912 r8192 d23488 u2097152 alloc=1*2097152
+[    0.000000] pcpu-alloc: [0] 0 
+[    0.000000] Built 1 zonelists in Node order, mobility grouping on.  Total pages: 516906
+[    0.000000] Policy zone: DMA32
+[    0.000000] Kernel command line: BOOT_IMAGE=/boot/vmlinuz-3.2.0-4-amd64 root=UUID=952fb4da-576e-46f7-8173-64f8266e5027 ro console=ttyS0,115200 console=tty0
+[    0.000000] PID hash table entries: 4096 (order: 3, 32768 bytes)
+[    0.000000] Checking aperture...
+[    0.000000] No AGP bridge found
+[    0.000000] Node 0: aperture @ f0000000 size 64 MB
+[    0.000000] Memory: 2047948k/2096764k available (3434k kernel code, 452k absent, 48364k reserved, 3304k data, 580k init)
+[    0.000000] Hierarchical RCU implementation.
+[    0.000000] 	RCU dyntick-idle grace-period acceleration is enabled.
+[    0.000000] NR_IRQS:33024 nr_irqs:256 16
+[    0.000000] spurious 8259A interrupt: IRQ7.
+[    0.000000] Console: colour VGA+ 80x25
+[    0.000000] console [tty0] enabled
+[    0.000000] console [ttyS0] enabled
+[    0.000000] hpet clockevent registered
+[    0.000000] Fast TSC calibration using PIT
+[    0.000000] Detected 2010.273 MHz processor.
+[    0.008004] Calibrating delay loop (skipped), value calculated using timer frequency.. 4020.54 BogoMIPS (lpj=8041092)
+[    0.016004] pid_max: default: 32768 minimum: 301
+[    0.020060] Security Framework initialized
+[    0.024010] AppArmor: AppArmor disabled by boot time parameter
+[    0.028193] Dentry cache hash table entries: 262144 (order: 9, 2097152 bytes)
+[    0.036467] Inode-cache hash table entries: 131072 (order: 8, 1048576 bytes)
+[    0.044516] Mount-cache hash table entries: 256
+[    0.048197] Initializing cgroup subsys cpuacct
+[    0.052010] Initializing cgroup subsys memory
+[    0.056024] Initializing cgroup subsys devices
+[    0.060006] Initializing cgroup subsys freezer
+[    0.064006] Initializing cgroup subsys net_cls
+[    0.068006] Initializing cgroup subsys blkio
+[    0.072017] Initializing cgroup subsys perf_event
+[    0.076045] tseg: 0000000000
+[    0.076065] mce: CPU supports 5 MCE banks
+[    0.080041] SMP alternatives: switching to UP code
+[    0.088248] Freeing SMP alternatives: 8k freed
+[    0.092014] ACPI: Core revision 20110623
+[    0.097435] ..TIMER: vector=0x30 apic1=0 pin1=0 apic2=0 pin2=0
+[    0.139703] CPU0: AMD Sempron(tm) Processor 3400+ stepping 02
+[    0.148008] Performance Events: AMD PMU driver.
+[    0.148012] ... version:                0
+[    0.152010] ... bit width:              48
+[    0.156010] ... generic registers:      4
+[    0.160010] ... value mask:             0000ffffffffffff
+[    0.164010] ... max period:             00007fffffffffff
+[    0.168011] ... fixed-purpose events:   0
+[    0.172011] ... event mask:             000000000000000f
+[    0.176234] NMI watchdog enabled, takes one hw-pmu counter.
+[    0.180040] Brought up 1 CPUs
+[    0.184015] Total of 1 processors activated (4020.54 BogoMIPS).
+[    0.192271] devtmpfs: initialized
+[    0.199668] print_constraints: dummy: 
+[    0.200091] NET: Registered protocol family 16
+[    0.204160] node 0 link 0: io port [1000, 4fff]
+[    0.204164] TOM: 0000000080000000 aka 2048M
+[    0.208017] node 0 link 0: mmio [a0000, bffff]
+[    0.208020] node 0 link 0: mmio [f4000000, f44fffff]
+[    0.208023] node 0 link 0: mmio [e0000000, efffffff]
+[    0.208027] bus: [00, 03] on node 0 link 0
+[    0.208031] bus: 00 index 0 [io  0x0000-0xffff]
+[    0.208033] bus: 00 index 1 [mem 0x000a0000-0x000bffff]
+[    0.208036] bus: 00 index 2 [mem 0xf0000000-0xfcffffffff]
+[    0.208039] bus: 00 index 3 [mem 0x80000000-0xefffffff]
+[    0.208053] ACPI: bus type pci registered
+[    0.212098] PCI: MMCONFIG for domain 0000 [bus 00-ff] at [mem 0xe0000000-0xefffffff] (base 0xe0000000)
+[    0.216015] PCI: not using MMCONFIG
+[    0.220015] PCI: Using configuration type 1 for base access
+[    0.228093] bio: create slab <bio-0> at 0
+[    0.232129] ACPI: Added _OSI(Module Device)
+[    0.236019] ACPI: Added _OSI(Processor Device)
+[    0.240016] ACPI: Added _OSI(3.0 _SCP Extensions)
+[    0.244017] ACPI: Added _OSI(Processor Aggregator Device)
+[    0.248305] ACPI: EC: Look up EC in DSDT
+[    0.252622] ACPI: Interpreter enabled
+[    0.256020] ACPI: (supports S0 S5)
+[    0.259550] ACPI: Using IOAPIC for interrupt routing
+[    0.260045] PCI: MMCONFIG for domain 0000 [bus 00-ff] at [mem 0xe0000000-0xefffffff] (base 0xe0000000)
+[    0.264690] [Firmware Bug]: PCI: MMCONFIG at [mem 0xe0000000-0xefffffff] not reserved in ACPI motherboard resources
+[    0.268018] PCI: not using MMCONFIG
+[    0.274004] ACPI: No dock devices found.
+[    0.276026] HEST: Table not found.
+[    0.280022] PCI: Using host bridge windows from ACPI; if necessary, use "pci=nocrs" and report a bug
+[    0.289654] ACPI: PCI Root Bridge [PCI0] (domain 0000 [bus 00-03])
+[    0.300084] pci_root PNP0A03:00: host bridge window [io  0x03b0-0x03df]
+[    0.304021] pci_root PNP0A03:00: host bridge window [io  0x0d00-0x4fff]
+[    0.308021] pci_root PNP0A03:00: host bridge window [mem 0xe0000000-0xefffffff]
+[    0.312021] pci_root PNP0A03:00: host bridge window [mem 0xf4000000-0xf44fffff]
+[    0.316021] pci_root PNP0A03:00: host bridge window [mem 0x000a0000-0x000bffff]
+[    0.320021] pci_root PNP0A03:00: host bridge window [io  0x0000-0x0cf7]
+[    0.324023] pci_root PNP0A03:00: host bridge window expanded to [io  0x0000-0x0cf7]; [io  0x0000-0x0cf7] ignored
+[    0.328040] pci 0000:00:00.0: [10de:005e] type 0 class 0x000580
+[    0.328115] pci 0000:00:01.0: [10de:0050] type 0 class 0x000601
+[    0.328122] pci 0000:00:01.0: reg 10: [io  0x4400-0x447f]
+[    0.328154] pci 0000:00:01.1: [10de:0052] type 0 class 0x000c05
+[    0.328162] pci 0000:00:01.1: reg 10: [io  0x4800-0x481f]
+[    0.328175] pci 0000:00:01.1: reg 20: [io  0x4480-0x44bf]
+[    0.328180] pci 0000:00:01.1: reg 24: [io  0x44c0-0x44ff]
+[    0.328195] pci 0000:00:01.1: PME# supported from D3hot D3cold
+[    0.328214] pci 0000:00:02.0: [10de:005a] type 0 class 0x000c03
+[    0.328223] pci 0000:00:02.0: reg 10: [mem 0xf4400000-0xf4400fff]
+[    0.328249] pci 0000:00:02.0: supports D1 D2
+[    0.328252] pci 0000:00:02.0: PME# supported from D0 D1 D2 D3hot D3cold
+[    0.328267] pci 0000:00:02.1: [10de:005b] type 0 class 0x000c03
+[    0.328276] pci 0000:00:02.1: reg 10: [mem 0xf4405000-0xf44050ff]
+[    0.328309] pci 0000:00:02.1: supports D1 D2
+[    0.328311] pci 0000:00:02.1: PME# supported from D0 D1 D2 D3hot D3cold
+[    0.328332] pci 0000:00:04.0: [10de:0059] type 0 class 0x000401
+[    0.328340] pci 0000:00:04.0: reg 10: [io  0x3c00-0x3cff]
+[    0.328345] pci 0000:00:04.0: reg 14: [io  0x4000-0x40ff]
+[    0.328351] pci 0000:00:04.0: reg 18: [mem 0xf4401000-0xf4401fff]
+[    0.328373] pci 0000:00:04.0: supports D1 D2
+[    0.328386] pci 0000:00:06.0: [10de:0053] type 0 class 0x000101
+[    0.328404] pci 0000:00:06.0: reg 20: [io  0x4820-0x482f]
+[    0.328431] pci 0000:00:07.0: [10de:0054] type 0 class 0x000101
+[    0.328439] pci 0000:00:07.0: reg 10: [io  0x4850-0x4857]
+[    0.328444] pci 0000:00:07.0: reg 14: [io  0x4878-0x487b]
+[    0.328449] pci 0000:00:07.0: reg 18: [io  0x4858-0x485f]
+[    0.328454] pci 0000:00:07.0: reg 1c: [io  0x487c-0x487f]
+[    0.328459] pci 0000:00:07.0: reg 20: [io  0x4830-0x483f]
+[    0.328465] pci 0000:00:07.0: reg 24: [mem 0xf4402000-0xf4402fff]
+[    0.328489] pci 0000:00:08.0: [10de:0055] type 0 class 0x000101
+[    0.328497] pci 0000:00:08.0: reg 10: [io  0x4860-0x4867]
+[    0.328502] pci 0000:00:08.0: reg 14: [io  0x4880-0x4883]
+[    0.328507] pci 0000:00:08.0: reg 18: [io  0x4868-0x486f]
+[    0.328513] pci 0000:00:08.0: reg 1c: [io  0x4884-0x4887]
+[    0.328518] pci 0000:00:08.0: reg 20: [io  0x4840-0x484f]
+[    0.328523] pci 0000:00:08.0: reg 24: [mem 0xf4403000-0xf4403fff]
+[    0.328547] pci 0000:00:09.0: [10de:005c] type 1 class 0x000604
+[    0.328578] pci 0000:00:0a.0: [10de:0057] type 0 class 0x000680
+[    0.328587] pci 0000:00:0a.0: reg 10: [mem 0xf4404000-0xf4404fff]
+[    0.328593] pci 0000:00:0a.0: reg 14: [io  0x4870-0x4877]
+[    0.328623] pci 0000:00:0a.0: supports D1 D2
+[    0.328625] pci 0000:00:0a.0: PME# supported from D0 D1 D2 D3hot D3cold
+[    0.328648] pci 0000:00:0d.0: [10de:005d] type 1 class 0x000604
+[    0.328676] pci 0000:00:0d.0: PME# supported from D0 D1 D2 D3hot D3cold
+[    0.328694] pci 0000:00:0e.0: [10de:005d] type 1 class 0x000604
+[    0.328720] pci 0000:00:0e.0: PME# supported from D0 D1 D2 D3hot D3cold
+[    0.328742] pci 0000:00:18.0: [1022:1100] type 0 class 0x000600
+[    0.328765] pci 0000:00:18.1: [1022:1101] type 0 class 0x000600
+[    0.328783] pci 0000:00:18.2: [1022:1102] type 0 class 0x000600
+[    0.328802] pci 0000:00:18.3: [1022:1103] type 0 class 0x000600
+[    0.328842] pci 0000:01:00.0: [1002:5961] type 0 class 0x000300
+[    0.328856] pci 0000:01:00.0: reg 10: [mem 0xe0000000-0xefffffff pref]
+[    0.328864] pci 0000:01:00.0: reg 14: [io  0x1000-0x10ff]
+[    0.328871] pci 0000:01:00.0: reg 18: [mem 0xf4320000-0xf432ffff]
+[    0.328892] pci 0000:01:00.0: reg 30: [mem 0xf4300000-0xf431ffff pref]
+[    0.328917] pci 0000:01:00.0: supports D1 D2
+[    0.328947] pci 0000:00:09.0: PCI bridge to [bus 01-01] (subtractive decode)
+[    0.332024] pci 0000:00:09.0:   bridge window [io  0x1000-0x1fff]
+[    0.332027] pci 0000:00:09.0:   bridge window [mem 0xf4300000-0xf43fffff]
+[    0.332031] pci 0000:00:09.0:   bridge window [mem 0xe0000000-0xefffffff pref]
+[    0.332035] pci 0000:00:09.0:   bridge window [io  0x0000-0x0cf7] (subtractive decode)
+[    0.332038] pci 0000:00:09.0:   bridge window [io  0x0d00-0x4fff] (subtractive decode)
+[    0.332042] pci 0000:00:09.0:   bridge window [mem 0xe0000000-0xefffffff] (subtractive decode)
+[    0.332045] pci 0000:00:09.0:   bridge window [mem 0xf4000000-0xf44fffff] (subtractive decode)
+[    0.332049] pci 0000:00:09.0:   bridge window [mem 0x000a0000-0x000bffff] (subtractive decode)
+[    0.332071] pci 0000:00:0d.0: PCI bridge to [bus 02-02]
+[    0.336055] pci 0000:03:00.0: [1000:0056] type 0 class 0x000100
+[    0.336065] pci 0000:03:00.0: reg 10: [io  0x2000-0x20ff]
+[    0.336076] pci 0000:03:00.0: reg 14: [mem 0xf4210000-0xf4213fff 64bit]
+[    0.336087] pci 0000:03:00.0: reg 1c: [mem 0xf4200000-0xf420ffff 64bit]
+[    0.336100] pci 0000:03:00.0: reg 30: [mem 0xf4000000-0xf41fffff pref]
+[    0.336133] pci 0000:03:00.0: supports D1 D2
+[    0.336144] pci 0000:03:00.0: disabling ASPM on pre-1.1 PCIe device.  You can enable it with 'pcie_aspm=force'
+[    0.340028] pci 0000:00:0e.0: PCI bridge to [bus 03-03]
+[    0.344024] pci 0000:00:0e.0:   bridge window [io  0x2000-0x2fff]
+[    0.344028] pci 0000:00:0e.0:   bridge window [mem 0xf4000000-0xf42fffff]
+[    0.344040] ACPI: PCI Interrupt Routing Table [\_SB_.PCI0._PRT]
+[    0.344194] ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.PCIC._PRT]
+[    0.344292]  pci0000:00: Unable to request _OSC control (_OSC support mask: 0x1e)
+[    0.357582] ACPI: PCI Interrupt Link [LNKA] (IRQs *16 17 18 19)
+[    0.361724] ACPI: PCI Interrupt Link [LNKB] (IRQs 16 *17 18 19)
+[    0.365727] ACPI: PCI Interrupt Link [LNKC] (IRQs 16 17 *18 19)
+[    0.372339] ACPI: PCI Interrupt Link [LNKD] (IRQs 16 17 18 *19)
+[    0.377733] ACPI: PCI Interrupt Link [LNKE] (IRQs 16 17 18 19) *0, disabled.
+[    0.386046] ACPI: PCI Interrupt Link [LLAS] (IRQs 20 21 22 23) *0
+[    0.392340] ACPI: PCI Interrupt Link [LUOH] (IRQs 20 21 22 *23)
+[    0.397736] ACPI: PCI Interrupt Link [LUEH] (IRQs 20 21 22 *23)
+[    0.404855] ACPI: PCI Interrupt Link [LAUD] (IRQs 20 21 22 *23)
+[    0.409737] ACPI: PCI Interrupt Link [LMOD] (IRQs 20 21 22 23) *0, disabled.
+[    0.418638] ACPI: PCI Interrupt Link [LPA0] (IRQs 20 21 22 23) *0, disabled.
+[    0.426047] ACPI: PCI Interrupt Link [LSA0] (IRQs *20 21 22 23)
+[    0.432470] ACPI: PCI Interrupt Link [LSA1] (IRQs 20 *21 22 23)
+[    0.437738] ACPI: PCI Interrupt Link [LEMA] (IRQs 20 21 *22 23)
+[    0.445236] vgaarb: device added: PCI:0000:01:00.0,decodes=io+mem,owns=io+mem,locks=none
+[    0.448031] vgaarb: loaded
+[    0.452029] vgaarb: bridge control possible 0000:01:00.0
+[    0.456094] PCI: Using ACPI for IRQ routing
+[    0.460032] PCI: pci_cache_line_size set to 64 bytes
+[    0.460089] reserve RAM buffer: 000000000009f800 - 000000000009ffff 
+[    0.460093] reserve RAM buffer: 000000007ff9f000 - 000000007fffffff 
+[    0.460263] HPET: 3 timers in total, 0 timers will be used for per-cpu timer
+[    0.464034] hpet0: at MMIO 0xfed00000, IRQs 2, 8, 31
+[    0.469147] hpet0: 3 comparators, 32-bit 25.000000 MHz counter
+[    0.476121] Switching to clocksource hpet
+[    0.482590] pnp: PnP ACPI init
+[    0.485743] ACPI: bus type pnp registered
+[    0.491917] pnp 00:00: [bus 00-03]
+[    0.491920] pnp 00:00: [io  0x03b0-0x03df window]
+[    0.491923] pnp 00:00: [io  0x0d00-0x4fff window]
+[    0.491926] pnp 00:00: [mem 0xe0000000-0xefffffff window]
+[    0.491929] pnp 00:00: [mem 0xf4000000-0xf44fffff window]
+[    0.491934] pnp 00:00: [mem 0x000a0000-0x000bffff window]
+[    0.491937] pnp 00:00: [io  0x0cf8-0x0cff]
+[    0.491940] pnp 00:00: [io  0x0000-0x0cf7 window]
+[    0.491992] pnp 00:00: Plug and Play ACPI device, IDs PNP0a03 (active)
+[    0.492221] pnp 00:01: [io  0x0060]
+[    0.492224] pnp 00:01: [io  0x0064]
+[    0.492237] pnp 00:01: [irq 1]
+[    0.492277] pnp 00:01: Plug and Play ACPI device, IDs PNP0303 (active)
+[    0.492311] pnp 00:02: [irq 12]
+[    0.492348] pnp 00:02: Plug and Play ACPI device, IDs PNP0f13 (active)
+[    0.492378] pnp 00:03: [io  0x0378-0x0387]
+[    0.492385] pnp 00:03: [irq 7]
+[    0.492422] pnp 00:03: Plug and Play ACPI device, IDs PNP0400 (active)
+[    0.492451] pnp 00:04: [io  0x03f0-0x03f7]
+[    0.492458] pnp 00:04: [irq 6]
+[    0.492461] pnp 00:04: [dma 2]
+[    0.492499] pnp 00:04: Plug and Play ACPI device, IDs PNP0700 (active)
+[    0.492505] pnp: PnP ACPI: found 5 devices
+[    0.500185] ACPI: ACPI bus type pnp unregistered
+[    0.511855] PCI: max bus depth: 1 pci_try_num: 2
+[    0.511885] pci 0000:00:09.0: PCI bridge to [bus 01-01]
+[    0.517166] pci 0000:00:09.0:   bridge window [io  0x1000-0x1fff]
+[    0.523299] pci 0000:00:09.0:   bridge window [mem 0xf4300000-0xf43fffff]
+[    0.530128] pci 0000:00:09.0:   bridge window [mem 0xe0000000-0xefffffff pref]
+[    0.537409] pci 0000:00:0d.0: PCI bridge to [bus 02-02]
+[    0.542679] pci 0000:00:0e.0: PCI bridge to [bus 03-03]
+[    0.547947] pci 0000:00:0e.0:   bridge window [io  0x2000-0x2fff]
+[    0.554083] pci 0000:00:0e.0:   bridge window [mem 0xf4000000-0xf42fffff]
+[    0.560921] pci 0000:00:09.0: setting latency timer to 64
+[    0.560927] pci 0000:00:0d.0: setting latency timer to 64
+[    0.560932] pci 0000:00:0e.0: setting latency timer to 64
+[    0.560936] pci_bus 0000:00: resource 4 [io  0x0000-0x0cf7]
+[    0.560939] pci_bus 0000:00: resource 5 [io  0x0d00-0x4fff]
+[    0.560942] pci_bus 0000:00: resource 6 [mem 0xe0000000-0xefffffff]
+[    0.560945] pci_bus 0000:00: resource 7 [mem 0xf4000000-0xf44fffff]
+[    0.560948] pci_bus 0000:00: resource 8 [mem 0x000a0000-0x000bffff]
+[    0.560952] pci_bus 0000:01: resource 0 [io  0x1000-0x1fff]
+[    0.560955] pci_bus 0000:01: resource 1 [mem 0xf4300000-0xf43fffff]
+[    0.560958] pci_bus 0000:01: resource 2 [mem 0xe0000000-0xefffffff pref]
+[    0.560961] pci_bus 0000:01: resource 4 [io  0x0000-0x0cf7]
+[    0.560964] pci_bus 0000:01: resource 5 [io  0x0d00-0x4fff]
+[    0.560967] pci_bus 0000:01: resource 6 [mem 0xe0000000-0xefffffff]
+[    0.560970] pci_bus 0000:01: resource 7 [mem 0xf4000000-0xf44fffff]
+[    0.560973] pci_bus 0000:01: resource 8 [mem 0x000a0000-0x000bffff]
+[    0.560976] pci_bus 0000:03: resource 0 [io  0x2000-0x2fff]
+[    0.560979] pci_bus 0000:03: resource 1 [mem 0xf4000000-0xf42fffff]
+[    0.561047] NET: Registered protocol family 2
+[    0.567564] IP route cache hash table entries: 65536 (order: 7, 524288 bytes)
+[    0.575897] TCP established hash table entries: 262144 (order: 10, 4194304 bytes)
+[    0.587202] TCP bind hash table entries: 65536 (order: 8, 1048576 bytes)
+[    0.594868] TCP: Hash tables configured (established 262144 bind 65536)
+[    0.601542] TCP reno registered
+[    0.604732] UDP hash table entries: 1024 (order: 3, 32768 bytes)
+[    0.610812] UDP-Lite hash table entries: 1024 (order: 3, 32768 bytes)
+[    0.617454] NET: Registered protocol family 1
+[    0.622103] ACPI: PCI Interrupt Link [LUOH] enabled at IRQ 23
+[    0.628076] ACPI: PCI Interrupt Link [LUEH] enabled at IRQ 22
+[    0.633927] pci 0000:00:00.0: Found enabled HT MSI Mapping
+[    0.639488] pci 0000:00:00.0: Found enabled HT MSI Mapping
+[    0.645048] pci 0000:00:00.0: Found enabled HT MSI Mapping
+[    0.650580] pci 0000:00:0d.0: Found disabled HT MSI Mapping
+[    0.656198] pci 0000:00:00.0: Found enabled HT MSI Mapping
+[    0.661760] pci 0000:00:00.0: Found enabled HT MSI Mapping
+[    0.667290] pci 0000:00:0e.0: Found disabled HT MSI Mapping
+[    0.672907] pci 0000:00:00.0: Found enabled HT MSI Mapping
+[    0.678445] pci 0000:01:00.0: Boot video device
+[    0.678451] PCI: CLS 64 bytes, default 64
+[    0.678528] Unpacking initramfs...
+[    1.010425] Freeing initrd memory: 11060k freed
+[    1.025547] agpgart-amd64 0000:01:00.0: AGP bridge [1002/5961]
+[    1.031441] agpgart-amd64 0000:01:00.0: aperture size 4096 MB is not right, using settings from NB
+[    1.042566] agpgart-amd64 0000:01:00.0: AGP aperture is 64M @ 0xf0000000
+[    1.049393] platform rtc_cmos: registered platform RTC device (no PNP device found)
+[    1.057460] audit: initializing netlink socket (disabled)
+[    1.062920] type=2000 audit(1445882675.060:1): initialized
+[    1.085834] HugeTLB registered 2 MB page size, pre-allocated 0 pages
+[    1.092775] VFS: Disk quotas dquot_6.5.2
+[    1.096789] Dquot-cache hash table entries: 512 (order 0, 4096 bytes)
+[    1.103364] msgmni has been set to 4021
+[    1.107434] alg: No test for stdrng (krng)
+[    1.111614] Block layer SCSI generic (bsg) driver version 0.4 loaded (major 253)
+[    1.119073] io scheduler noop registered
+[    1.123043] io scheduler deadline registered
+[    1.127371] io scheduler cfq registered (default)
+[    1.132311] pci_hotplug: PCI Hot Plug PCI Core version: 0.5
+[    1.137964] pciehp: PCI Express Hot Plug Controller Driver version: 0.4
+[    1.144620] acpiphp: ACPI Hot Plug PCI Controller Driver version: 0.5
+[    1.151351] ERST: Table is not found!
+[    1.155057] GHES: HEST is not enabled!
+[    1.158942] Serial: 8250/16550 driver, 4 ports, IRQ sharing enabled
+[    1.185538] serial8250: ttyS0 at I/O 0x3f8 (irq = 4) is a 16550A
+[    1.211878] serial8250: ttyS1 at I/O 0x2f8 (irq = 3) is a 16550A
+[    1.218285] Linux agpgart interface v0.103
+[    1.222550] i8042: PNP: PS/2 Controller [PNP0303:KBD,PNP0f13:MOU] at 0x60,0x64 irq 1,12
+[    1.232913] serio: i8042 KBD port at 0x60,0x64 irq 1
+[    1.237925] serio: i8042 AUX port at 0x60,0x64 irq 12
+[    1.243148] mousedev: PS/2 mouse device common for all mice
+[    1.248868] rtc_cmos rtc_cmos: RTC can wake from S4
+[    1.253919] rtc_cmos rtc_cmos: rtc core: registered rtc_cmos as rtc0
+[    1.260347] rtc0: alarms up to one year, y3k, 114 bytes nvram, hpet irqs
+[    1.267109] cpuidle: using governor ladder
+[    1.271248] cpuidle: using governor menu
+[    1.275466] TCP cubic registered
+[    1.278783] NET: Registered protocol family 10
+[    1.283837] Mobile IPv6
+[    1.286338] NET: Registered protocol family 17
+[    1.290837] Registering the dns_resolver key type
+[    1.295759] PM: Hibernation image not present or could not be loaded.
+[    1.295776] registered taskstats version 1
+[    1.300206] input: AT Translated Set 2 keyboard as /devices/platform/i8042/serio0/input/input0
+[    1.309144] rtc_cmos rtc_cmos: setting system clock to 2015-10-26 18:04:36 UTC (1445882676)
+[    1.317673] Initializing network drop monitor service
+[    1.324265] Freeing unused kernel memory: 580k freed
+[    1.329735] Write protecting the kernel read-only data: 6144k
+[    1.338898] Freeing unused kernel memory: 644k freed
+[    1.347964] Freeing unused kernel memory: 688k freed
+[    1.376307] udevd[44]: starting version 175
+[    1.445676] forcedeth: Reverse Engineered nForce ethernet driver. Version 0.64.
+[    1.463936] Fusion MPT base driver 3.04.20
+[    1.468125] Copyright (c) 1999-2008 LSI Corporation
+[    1.476653] usbcore: registered new interface driver usbfs
+[    1.495176] SCSI subsystem initialized
+[    1.511621] ACPI: PCI Interrupt Link [LEMA] enabled at IRQ 21
+[    1.534024] usbcore: registered new interface driver hub
+[    1.541104] libata version 3.00 loaded.
+[    1.554777] forcedeth 0000:00:0a.0: setting latency timer to 64
+[    1.558841] FDC 0 is a post-1991 82077
+[    1.565079] usbcore: registered new device driver usb
+[    1.570519] ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver
+[    1.579909] Fusion MPT SAS Host driver 3.04.20
+[    1.601300] ohci_hcd: USB 1.1 'Open' Host Controller (OHCI) Driver
+[    1.611791] ACPI: PCI Interrupt Link [LNKC] enabled at IRQ 18
+[    1.622072] mptbase: ioc0: Initiating bringup
+[    2.056044] Refined TSC clocksource calibration: 2010.302 MHz.
+[    2.061923] Switching to clocksource tsc
+[    2.076738] forcedeth 0000:00:0a.0: ifname eth0, PHY OUI 0x5043 @ 1, addr 00:13:d3:16:e4:55
+[    2.085158] forcedeth 0000:00:0a.0: highdma csum gbit lnktim desc-v3
+[    2.092845] sata_nv 0000:00:07.0: version 3.5
+[    2.093001] ACPI: PCI Interrupt Link [LSA0] enabled at IRQ 20
+[    2.098919] sata_nv 0000:00:07.0: setting latency timer to 64
+[    2.099442] scsi0 : sata_nv
+[    2.102484] scsi1 : sata_nv
+[    2.105436] ata1: SATA max UDMA/133 cmd 0x4850 ctl 0x4878 bmdma 0x4830 irq 20
+[    2.112622] ata2: SATA max UDMA/133 cmd 0x4858 ctl 0x487c bmdma 0x4838 irq 20
+[    2.120019] ACPI: PCI Interrupt Link [LSA1] enabled at IRQ 21
+[    2.125929] sata_nv 0000:00:08.0: setting latency timer to 64
+[    2.126449] scsi2 : sata_nv
+[    2.129449] scsi3 : sata_nv
+[    2.132402] ata3: SATA max UDMA/133 cmd 0x4860 ctl 0x4880 bmdma 0x4840 irq 21
+[    2.139579] ata4: SATA max UDMA/133 cmd 0x4868 ctl 0x4884 bmdma 0x4848 irq 21
+[    2.147240] pata_amd 0000:00:06.0: version 0.4.1
+[    2.147297] pata_amd 0000:00:06.0: setting latency timer to 64
+[    2.147934] scsi4 : pata_amd
+[    2.151115] scsi5 : pata_amd
+[    2.154179] ata5: PATA max UDMA/133 cmd 0x1f0 ctl 0x3f6 bmdma 0x4820 irq 14
+[    2.161192] ata6: PATA max UDMA/133 cmd 0x170 ctl 0x376 bmdma 0x4828 irq 15
+[    2.168531] ehci_hcd 0000:00:02.1: setting latency timer to 64
+[    2.168535] ehci_hcd 0000:00:02.1: EHCI Host Controller
+[    2.174007] ehci_hcd 0000:00:02.1: new USB bus registered, assigned bus number 1
+[    2.181498] ehci_hcd 0000:00:02.1: debug port 1
+[    2.186078] ehci_hcd 0000:00:02.1: cache line size of 64 is not supported
+[    2.186106] ehci_hcd 0000:00:02.1: irq 22, io mem 0xf4405000
+[    2.200005] ehci_hcd 0000:00:02.1: USB 2.0 started, EHCI 1.00
+[    2.205821] usb usb1: New USB device found, idVendor=1d6b, idProduct=0002
+[    2.212647] usb usb1: New USB device strings: Mfr=3, Product=2, SerialNumber=1
+[    2.219925] usb usb1: Product: EHCI Host Controller
+[    2.224839] usb usb1: Manufacturer: Linux 3.2.0-4-amd64 ehci_hcd
+[    2.230887] usb usb1: SerialNumber: 0000:00:02.1
+[    2.235547] ioc0: LSISAS1064E B3: Capabilities={Initiator}
+[    2.241508] hub 1-0:1.0: USB hub found
+[    2.245319] hub 1-0:1.0: 10 ports detected
+[    2.249837] mptsas 0000:03:00.0: setting latency timer to 64
+[    2.250250] ohci_hcd 0000:00:02.0: setting latency timer to 64
+[    2.250254] ohci_hcd 0000:00:02.0: OHCI Host Controller
+[    2.255589] ohci_hcd 0000:00:02.0: new USB bus registered, assigned bus number 2
+[    2.263086] ohci_hcd 0000:00:02.0: irq 23, io mem 0xf4400000
+[    2.326019] usb usb2: New USB device found, idVendor=1d6b, idProduct=0001
+[    2.332855] usb usb2: New USB device strings: Mfr=3, Product=2, SerialNumber=1
+[    2.340131] usb usb2: Product: OHCI Host Controller
+[    2.345045] usb usb2: Manufacturer: Linux 3.2.0-4-amd64 ohci_hcd
+[    2.351096] usb usb2: SerialNumber: 0000:00:02.0
+[    2.356187] hub 2-0:1.0: USB hub found
+[    2.359978] hub 2-0:1.0: 10 ports detected
+[    2.365596] ata5.00: HPA detected: current 156250000, native 156301488
+[    2.372192] ata5.00: ATA-5: WDC WD800BB-75CAA0, 16.06V16, max UDMA/100
+[    2.378761] ata5.00: 156250000 sectors, multi 0: LBA 
+[    2.383861] ata5: nv_mode_filter: 0x3f39f&0xfffff->0x3f39f, BIOS=0x0 (0x0) ACPI=0x0
+[    2.397045] ata5.00: configured for UDMA/100
+[    2.464036] ata1: SATA link down (SStatus 0 SControl 300)
+[    2.469530] ata3: SATA link down (SStatus 0 SControl 300)
+[    2.780007] ata2: SATA link down (SStatus 0 SControl 300)
+[    3.096008] ata4: SATA link down (SStatus 0 SControl 300)
+[    3.101589] scsi 4:0:0:0: Direct-Access     ATA      WDC WD800BB-75CA 16.0 PQ: 0 ANSI: 5
+[    3.291622] sd 4:0:0:0: [sda] 156250000 512-byte logical blocks: (80.0 GB/74.5 GiB)
+[    3.299676] sd 4:0:0:0: [sda] Write Protect is off
+[    3.304559] sd 4:0:0:0: [sda] Mode Sense: 00 3a 00 00
+[    3.304586] sd 4:0:0:0: [sda] Write cache: enabled, read cache: enabled, doesn't support DPO or FUA
+[    3.336256]  sda: sda1 sda2
+[    3.339548] sd 4:0:0:0: [sda] Attached SCSI disk
+[    3.347135] sd 4:0:0:0: Attached scsi generic sg0 type 0
+[   12.585896] scsi6 : ioc0: LSISAS1064E B3, FwRev=01210000h, Ports=1, MaxQ=483, IRQ=18
+[   12.627274] microcode: CPU0: family 15 not supported
+[   12.634563] microcode: Microcode Update Driver: v2.00 <tigran@aivazian.fsnet.co.uk>, Peter Oruba
+[   12.717497] EXT4-fs (sda2): mounted filesystem with ordered data mode. Opts: (null)
+[   14.434921] udevd[299]: starting version 175
+[   14.813043] input: PC Speaker as /devices/platform/pcspkr/input/input1
+[   15.090452] input: Power Button as /devices/LNXSYSTM:00/LNXPWRBN:00/input/input2
+[   15.114281] ACPI: Power Button [PWRF]
+[   15.122011] powernow-k8: Found 1 AMD Sempron(tm) Processor 3400+ (1 cpu cores) (version 2.20.00)
+[   15.133614] powernow-k8: fid 0xc (2000 MHz), vid 0x4
+[   15.138654] powernow-k8: fid 0xa (1800 MHz), vid 0x8
+[   15.143752] powernow-k8: fid 0x2 (1000 MHz), vid 0x12
+[   15.148858] powernow-k8: failing init, change pending bit set
+[   15.194971] i2c i2c-0: nForce2 SMBus adapter at 0x4480
+[   15.200385] i2c i2c-1: nForce2 SMBus adapter at 0x44c0
+[   15.216858] EDAC MC: Ver: 2.1.0
+[   15.246345] MCE: In-kernel MCE decoding enabled.
+[   15.278867] AMD64 EDAC driver v3.4.0
+[   15.282569] EDAC amd64: DRAM ECC disabled.
+[   15.286713] EDAC amd64: ECC disabled in the BIOS or no ECC capability, module will not load.
+[   15.286715]  Either enable ECC checking or force module loading by setting 'ecc_enable_override'.
+[   15.286717]  (Note that use of the override may cause unknown side effects.)
+[   15.424645] ACPI: PCI Interrupt Link [LAUD] enabled at IRQ 23
+[   15.430500] snd_intel8x0 0000:00:04.0: setting latency timer to 64
+[   15.581832] parport_pc 00:03: reported by Plug and Play ACPI
+[   15.587604] parport0: PC-style at 0x378, irq 7 [PCSPP,EPP]
+[   15.760019] intel8x0_measure_ac97_clock: measured 54218 usecs (2664 samples)
+[   15.767127] intel8x0: clocking to 46892
+[   17.576776] Adding 8387580k swap on /dev/sda1.  Priority:-1 extents:1 across:8387580k 
+[   17.607271] EXT4-fs (sda2): re-mounted. Opts: (null)
+[   17.876657] EXT4-fs (sda2): re-mounted. Opts: errors=remount-ro
+[   18.032675] loop: module loaded
+[   18.137335] w83627hf: w83627hf: Found W83627THF chip at 0x290
+[   19.365612] NET: Registered protocol family 8
+[   19.370041] NET: Registered protocol family 20
+[   22.340893] Bluetooth: Core ver 2.16
+[   22.344802] NET: Registered protocol family 31
+[   22.349305] Bluetooth: HCI device and connection manager initialized
+[   22.355702] Bluetooth: HCI socket layer initialized
+[   22.360619] Bluetooth: L2CAP socket layer initialized
+[   22.366090] Bluetooth: SCO socket layer initialized
+[   22.467676] Bluetooth: RFCOMM TTY layer initialized
+[   22.473037] Bluetooth: RFCOMM socket layer initialized
+[   22.478249] Bluetooth: RFCOMM ver 1.11
+[   22.484955] Bluetooth: BNEP (Ethernet Emulation) ver 1.3
+[   22.490361] Bluetooth: BNEP filters: protocol multicast
+[   22.641567] powernow-k8: Found 1 AMD Sempron(tm) Processor 3400+ (1 cpu cores) (version 2.20.00)
+[   22.650580] powernow-k8: fid 0xc (2000 MHz), vid 0x4
+[   22.655600] powernow-k8: fid 0xa (1800 MHz), vid 0x8
+[   22.660608] powernow-k8: fid 0x2 (1000 MHz), vid 0x12
+[   22.665704] powernow-k8: failing init, change pending bit set
diff --git a/msi/ms7135/4.1-854-g7a5413a/2015-10-26T06:32:58Z/revision.txt b/msi/ms7135/4.1-854-g7a5413a/2015-10-26T06:32:58Z/revision.txt
new file mode 100644
index 0000000..1e9a83e
--- /dev/null
+++ b/msi/ms7135/4.1-854-g7a5413a/2015-10-26T06:32:58Z/revision.txt
@@ -0,0 +1,5 @@
+Local revision: 7a5413a
+Tagged revision: 4.1-854-g7a5413a
+Upstream revision: 7a5413a
+Upstream URL: http://review.coreboot.org/coreboot
+Timestamp: 2015-10-26T06:32:58Z