diff --git a/x230/92263853ad.config b/x230/d8ec973fd2.config similarity index 98% rename from x230/92263853ad.config rename to x230/d8ec973fd2.config index f3185fd..886e11b 100644 --- a/x230/92263853ad.config +++ b/x230/d8ec973fd2.config @@ -76,6 +76,7 @@ CONFIG_VENDOR_LENOVO=y # CONFIG_VENDOR_LOWRISC is not set # CONFIG_VENDOR_MSI is not set # CONFIG_VENDOR_NVIDIA is not set +# CONFIG_VENDOR_OCP is not set # CONFIG_VENDOR_PACKARDBELL is not set # CONFIG_VENDOR_PCENGINES is not set # CONFIG_VENDOR_PURISM is not set @@ -84,6 +85,7 @@ CONFIG_VENDOR_LENOVO=y # CONFIG_VENDOR_SAPPHIRE is not set # CONFIG_VENDOR_SCALEWAY is not set # CONFIG_VENDOR_SIEMENS is not set +# CONFIG_VENDOR_SIFIVE is not set # CONFIG_VENDOR_SUNW is not set # CONFIG_VENDOR_SUPERMICRO is not set # CONFIG_VENDOR_TECHNEXION is not set @@ -113,12 +115,10 @@ CONFIG_MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID=0x21fa # CONFIG_HAVE_IFD_BIN is not set # CONFIG_HAVE_ME_BIN is not set CONFIG_DRAM_RESET_GATE_GPIO=10 -CONFIG_POST_IO=y CONFIG_DEVICETREE="devicetree.cb" CONFIG_MAX_REBOOT_CNT=3 CONFIG_USBDEBUG_HCD_INDEX=2 CONFIG_MMCONF_BASE_ADDRESS=0xf0000000 -CONFIG_POST_DEVICE=y CONFIG_IFD_BIOS_SECTION="" CONFIG_IFD_ME_SECTION="" # CONFIG_VBOOT is not set @@ -154,9 +154,9 @@ CONFIG_BOARD_LENOVO_X230=y CONFIG_CPU_ADDR_BITS=36 CONFIG_DEFAULT_CONSOLE_LOGLEVEL=8 # CONFIG_USBDEBUG is not set -CONFIG_DRIVERS_PS2_KEYBOARD=y +# CONFIG_DRIVERS_PS2_KEYBOARD is not set # CONFIG_PCIEXP_L1_SUB_STATE is not set -# CONFIG_NO_POST is not set +CONFIG_NO_POST=y CONFIG_SMBIOS_ENCLOSURE_TYPE=0x09 CONFIG_BOARD_ROMSIZE_KB_12288=y # CONFIG_COREBOOT_ROMSIZE_KB_64 is not set @@ -383,6 +383,7 @@ CONFIG_UDK_VERSION=2013 # CONFIG_ARCH_ROMSTAGE_ARMV8_64 is not set # CONFIG_ARCH_RAMSTAGE_ARMV8_64 is not set CONFIG_ARCH_ARMV8_EXTENSION=0 +# CONFIG_ARM64_USE_ARCH_TIMER is not set # CONFIG_ARM64_A53_ERRATUM_843419 is not set # CONFIG_ARCH_MIPS is not set # CONFIG_ARCH_BOOTBLOCK_MIPS is not set @@ -432,6 +433,8 @@ CONFIG_BOOTBLOCK_SIMPLE=y CONFIG_BOOTBLOCK_SOURCE="bootblock_simple.c" # CONFIG_COLLECT_TIMESTAMPS_NO_TSC is not set CONFIG_COLLECT_TIMESTAMPS_TSC=y +# CONFIG_PAGING_IN_CACHE_AS_RAM is not set +# CONFIG_IDT_IN_EVERY_STAGE is not set # # Devices @@ -607,12 +610,6 @@ CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y # 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_CMOS_POST is not set -# CONFIG_CONSOLE_POST is not set -CONFIG_POST_DEVICE_NONE=y -# CONFIG_POST_DEVICE_LPC is not set -# CONFIG_POST_DEVICE_PCI_PCIE is not set -CONFIG_POST_IO_PORT=0x80 # CONFIG_NO_EARLY_BOOTBLOCK_POSTCODES is not set CONFIG_HWBASE_DEBUG_CB=y CONFIG_HAVE_ACPI_RESUME=y