set(SRCS)
if(CONFIG_DRIVERS_VIRTIO)
list(APPEND SRCS virtio.c)
endif()
if(CONFIG_DRIVERS_VIRTIO_MMIO)
list(APPEND SRCS virtio-mmio.c)
endif()
if(CONFIG_DRIVERS_VIRTIO_PCI)
list(APPEND SRCS virtio-pci.c virtio-pci-legacy.c virtio-pci-modern.c)
endif()
if(CONFIG_DRIVERS_VIRTIO_BLK)
list(APPEND SRCS virtio-blk.c)
endif()
if(CONFIG_DRIVERS_VIRTIO_CRYPTO)
list(APPEND SRCS virtio-crypto.c)
endif()
if(CONFIG_DRIVERS_VIRTIO_GPU)
list(APPEND SRCS virtio-gpu.c)
endif()
if(CONFIG_DRIVERS_VIRTIO_INPUT)
list(APPEND SRCS virtio-input.c)
endif()
if(CONFIG_DRIVERS_VIRTIO_NET)
list(APPEND SRCS virtio-net.c)
endif()
if(CONFIG_DRIVERS_VIRTIO_RNG)
list(APPEND SRCS virtio-rng.c)
endif()
if(CONFIG_DRIVERS_VIRTIO_RPMB)
list(APPEND SRCS virtio-rpmb.c)
endif()
if(CONFIG_DRIVERS_VIRTIO_RPMSG)
list(APPEND SRCS virtio-rpmsg.c)
endif()
if(CONFIG_DRIVERS_VIRTIO_SERIAL)
list(APPEND SRCS virtio-serial.c)
endif()
if(CONFIG_DRIVERS_VIRTIO_SOUND)
list(APPEND SRCS virtio-snd.c)
endif()
target_sources(drivers PRIVATE ${SRCS})
target_include_directories(drivers PRIVATE ${CMAKE_CURRENT_SOURCE_DIR})