libvirtio: fix folder name for zynqmp platform

The folder name must be 'virtioarm' and not 'virtio'. Signed-off-by: Axel Heider <[email protected]>
seL4 · Jan 21, 2024 · 420bbf0 · 420bbf0
1 parent 1c7d86a
commit 420bbf0
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.../plat_include/zynqmp/virtio/virtio_plat.h → ...at_include/zynqmp/virtioarm/virtio_plat.h b/.../plat_include/zynqmp/virtio/virtio_plat.h → ...at_include/zynqmp/virtioarm/virtio_plat.h