# 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