| # Copyright (c) 2025 Antmicro <www.antmicro.com> | |
| # SPDX-License-Identifier: Apache-2.0 | |
| CONFIG_VIRTIO=y | |
| CONFIG_PCIE=y | |
| CONFIG_UART_VIRTIO_CONSOLE=y | |
| CONFIG_HEAP_MEM_POOL_SIZE=32768 | |
| # The VIRTIO console cannot be used as early console | |
| CONFIG_BOOT_BANNER=n | |
| CONFIG_EARLY_CONSOLE=n | |
| CONFIG_X86_VERY_EARLY_CONSOLE=n |