1# Copyright (c) 2025 Antmicro <www.antmicro.com>
2# SPDX-License-Identifier: Apache-2.0
3
4CONFIG_VIRTIO=y
5CONFIG_PCIE=y
6CONFIG_UART_VIRTIO_CONSOLE=y
7CONFIG_HEAP_MEM_POOL_SIZE=32768
8
9# The VIRTIO console cannot be used as early console
10CONFIG_BOOT_BANNER=n
11CONFIG_EARLY_CONSOLE=n
12CONFIG_X86_VERY_EARLY_CONSOLE=n
13