| CONFIG_SYS_NS16550=y | |
| CONFIG_CMD_PCI=y | |
| CONFIG_CROSVM_MEM_MAP=y | |
| CONFIG_SYS_SDRAM_BASE=0x80000000 | |
| CONFIG_SYS_FDT_ADDR=0x80000000 | |
| CONFIG_SYS_LOAD_ADDR=0x80200000 | |
| CONFIG_SYS_RAMDISK_ADDR_R=0x84200000 | |
| CONFIG_SYS_TEXT_BASE=0x80200000 | |
| CONFIG_SYS_SCRIPT_ADDR=0x84300000 | |
| CONFIG_SYS_PXEFILE_ADDR_R=0x84400000 | |
| CONFIG_KVM_HYP_SERVICES=y | |
| CONFIG_CMO_BY_VA_ONLY=y | |
| CONFIG_RNG_SMCCC=y |