| # SPDX-License-Identifier: Apache-2.0 | |
| CONFIG_X86_64=y | |
| CONFIG_SOC_X86_64=y | |
| CONFIG_BOARD_QEMU_X86_64=y | |
| CONFIG_CONSOLE=y | |
| CONFIG_SERIAL=y | |
| CONFIG_TEST_RANDOM_GENERATOR=y | |
| CONFIG_XIP=y | |
| CONFIG_HPET_TIMER=y | |
| CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=1000000000 | |
| CONFIG_MAIN_STACK_SIZE=1024 | |
| CONFIG_IDLE_STACK_SIZE=1024 | |
| CONFIG_TEST_EXTRA_STACKSIZE=2048 | |
| CONFIG_SRAM_BASE_ADDRESS=0x100000 | |
| CONFIG_SRAM_SIZE=8192 | |
| CONFIG_LOG_BACKEND_QEMU_X86_64=y |