diff options
Diffstat (limited to 'config/coreboot/qemu_arm64_12mb')
| -rw-r--r-- | config/coreboot/qemu_arm64_12mb/config/libgfxinit_corebootfb | 32 |
1 files changed, 22 insertions, 10 deletions
diff --git a/config/coreboot/qemu_arm64_12mb/config/libgfxinit_corebootfb b/config/coreboot/qemu_arm64_12mb/config/libgfxinit_corebootfb index 8c435502..909ab29e 100644 --- a/config/coreboot/qemu_arm64_12mb/config/libgfxinit_corebootfb +++ b/config/coreboot/qemu_arm64_12mb/config/libgfxinit_corebootfb @@ -6,7 +6,6 @@ # # General setup # -CONFIG_COREBOOT_BUILD=y CONFIG_LOCALVERSION="" CONFIG_CBFS_PREFIX="fallback" CONFIG_COMPILER_GCC=y @@ -33,7 +32,6 @@ CONFIG_NO_STAGE_CACHE=y # CONFIG_CBMEM_STAGE_CACHE is not set # CONFIG_UPDATE_IMAGE is not set # CONFIG_BOOTSPLASH_IMAGE is not set -# CONFIG_FW_CONFIG is not set # # Software Bill Of Materials (SBOM) @@ -51,8 +49,8 @@ CONFIG_NO_STAGE_CACHE=y # # CONFIG_VENDOR_51NB is not set # CONFIG_VENDOR_ACER is not set -# CONFIG_VENDOR_ADLINK is not set # CONFIG_VENDOR_AMD is not set +# CONFIG_VENDOR_AOOSTAR is not set # CONFIG_VENDOR_AOPEN is not set # CONFIG_VENDOR_APPLE is not set # CONFIG_VENDOR_ASROCK is not set @@ -63,11 +61,13 @@ CONFIG_NO_STAGE_CACHE=y # CONFIG_VENDOR_CAVIUM is not set # CONFIG_VENDOR_CLEVO is not set # CONFIG_VENDOR_COMPULAB is not set +# CONFIG_VENDOR_CWWK is not set # CONFIG_VENDOR_DELL is not set CONFIG_VENDOR_EMULATION=y # CONFIG_VENDOR_EXAMPLE is not set # CONFIG_VENDOR_FACEBOOK is not set # CONFIG_VENDOR_FOXCONN is not set +# CONFIG_VENDOR_FRAMEWORK is not set # CONFIG_VENDOR_GETAC is not set # CONFIG_VENDOR_GIGABYTE is not set # CONFIG_VENDOR_GOOGLE is not set @@ -89,6 +89,7 @@ CONFIG_VENDOR_EMULATION=y # CONFIG_VENDOR_PRODRIVE is not set # CONFIG_VENDOR_PROTECTLI is not set # CONFIG_VENDOR_PURISM is not set +# CONFIG_VENDOR_RAPTOR_CS is not set # CONFIG_VENDOR_RAZER is not set # CONFIG_VENDOR_RODA is not set # CONFIG_VENDOR_SAMSUNG is not set @@ -117,10 +118,12 @@ CONFIG_UART_FOR_CONSOLE=0 CONFIG_DEVICETREE="devicetree.cb" # CONFIG_VBOOT is not set CONFIG_OVERRIDE_DEVICETREE="" +# CONFIG_PCIEXP_ASPM is not set +# CONFIG_PCIEXP_L1_SUB_STATE is not set +# CONFIG_PCIEXP_CLK_PM is not set +CONFIG_MAX_SOCKET=1 CONFIG_DRAM_SIZE_MB=261120 # CONFIG_CONSOLE_POST is not set -CONFIG_PS2K_EISAID="PNP0303" -CONFIG_PS2M_EISAID="PNP0F13" CONFIG_BOARD_EMULATION_QEMU_AARCH64=y # CONFIG_BOARD_EMULATION_QEMU_ARMV7 is not set # CONFIG_BOARD_EMULATION_QEMU_X86_I440FX is not set @@ -129,21 +132,28 @@ CONFIG_BOARD_EMULATION_QEMU_AARCH64=y # CONFIG_BOARD_EMULATION_QEMU_X86_Q35 is not set # CONFIG_BOARD_EMULATION_QEMU_RISCV_RV64 is not set # CONFIG_BOARD_EMULATION_QEMU_RISCV_RV32 is not set +# CONFIG_BOARD_EMULATION_QEMU_SBSA is not set # CONFIG_BOARD_EMULATION_SPIKE_RISCV is not set CONFIG_ECAM_MMCONF_BASE_ADDRESS=0x4010000000 CONFIG_ECAM_MMCONF_BUS_NUMBER=256 +CONFIG_PCI_IOBASE=0x3eff0000 CONFIG_MEMLAYOUT_LD_FILE="src/mainboard/emulation/qemu-aarch64/memlayout.ld" CONFIG_MAX_ACPI_TABLE_SIZE_KB=144 +CONFIG_ARM64_CURRENT_EL=3 CONFIG_DRIVERS_INTEL_WIFI=y CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x20000 +CONFIG_ACPI_FNKEY_GEN_SCANCODE=0 CONFIG_CARDBUS_PLUGIN_SUPPORT=y +CONFIG_PS2K_EISAID="PNP0303" +CONFIG_PS2M_EISAID="PNP0F13" CONFIG_TTYS0_BAUD=115200 CONFIG_D3COLD_SUPPORT=y -# CONFIG_PCIEXP_ASPM is not set -# CONFIG_PCIEXP_L1_SUB_STATE is not set -# CONFIG_PCIEXP_CLK_PM is not set CONFIG_PC_CMOS_BASE_PORT_BANK1=0x72 +CONFIG_HEAP_SIZE=0x100000 CONFIG_EC_GPE_SCI=0x50 +CONFIG_EC_STARLABS_BATTERY_MODEL="Unknown" +CONFIG_EC_STARLABS_BATTERY_TYPE="LION" +CONFIG_EC_STARLABS_BATTERY_OEM="Unknown" CONFIG_BOARD_ROMSIZE_KB_16384=y # CONFIG_COREBOOT_ROMSIZE_KB_256 is not set # CONFIG_COREBOOT_ROMSIZE_KB_512 is not set @@ -171,6 +181,7 @@ CONFIG_ROM_SIZE=0x00c00000 # SoC # CONFIG_CHIPSET_DEVICETREE="" +CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xfe000000 CONFIG_ARM64_BL31_EXTERNAL_FILE="" CONFIG_ARCH_ARMV8_EXTENSION=0 CONFIG_STACK_SIZE=0x0 @@ -178,7 +189,6 @@ CONFIG_INTEL_GMA_BCLV_OFFSET=0xc8254 CONFIG_INTEL_GMA_BCLV_WIDTH=16 CONFIG_INTEL_GMA_BCLM_OFFSET=0xc8256 CONFIG_INTEL_GMA_BCLM_WIDTH=16 -CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xfe000000 # CONFIG_PCIEXP_COMMON_CLOCK is not set CONFIG_ALWAYS_ALLOW_ABOVE_4G_ALLOCATION=y CONFIG_GENERIC_UDELAY=y @@ -217,6 +227,7 @@ CONFIG_ARCH_ROMSTAGE_ARMV8_64=y CONFIG_ARCH_RAMSTAGE_ARMV8_64=y CONFIG_ARM64_USE_ARCH_TIMER=y CONFIG_ARM64_USE_ARM_TRUSTED_FIRMWARE=y +# CONFIG_ARM64_BL31_OPTEE_WITH_SMC is not set # end of Chipset # @@ -272,6 +283,7 @@ CONFIG_DRIVERS_UART_PL011=y CONFIG_PC_CMOS_BASE_PORT_BANK0=0x70 # CONFIG_DRIVERS_SIL_3114 is not set CONFIG_DRIVERS_WIFI_GENERIC=y +CONFIG_DRIVERS_MTK_WIFI=y # end of Generic Drivers # @@ -313,7 +325,6 @@ CONFIG_BOOTMEDIA_LOCK_NONE=y CONFIG_ACPI_HAVE_PCAT_8259=y CONFIG_ACPI_CUSTOM_MADT=y CONFIG_BOOT_DEVICE_NOT_SPI_FLASH=y -CONFIG_HEAP_SIZE=0x100000 # # Console @@ -357,6 +368,7 @@ CONFIG_HAVE_MONOTONIC_TIMER=y # # System tables # +# CONFIG_GENERATE_SMBIOS_TABLES is not set # end of System tables # |