Separate virtio headers into their own lib

Signed-off-by: Andy Bui <[email protected]>
seL4 · Nov 29, 2022 · 44410bd · 44410bd
1 parent 9e09ea4
commit 44410bd
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/components/Init/src/virtio_blk.c b/components/Init/src/virtio_blk.c
@@ -17,10 +17,10 @@
 #include <camkes.h>
 #include <camkes/dataport.h>
 
-#include <ethdrivers/virtio/virtio_pci.h>
-#include <ethdrivers/virtio/virtio_net.h>
-#include <ethdrivers/virtio/virtio_ring.h>
-#include <satadrivers/virtio/virtio_blk.h>
+#include <virtio/virtio_pci.h>
+#include <virtio/virtio_net.h>
+#include <virtio/virtio_ring.h>
+#include <virtio/virtio_blk.h>
 
 #include <sel4vm/guest_vm.h>
 #include <sel4vm/guest_memory.h>

diff --git a/components/Init/src/virtio_net.c b/components/Init/src/virtio_net.c
@@ -19,9 +19,9 @@
 #include <camkes.h>
 #include <camkes/dataport.h>
 
-#include <ethdrivers/virtio/virtio_pci.h>
-#include <ethdrivers/virtio/virtio_net.h>
-#include <ethdrivers/virtio/virtio_ring.h>
+#include <virtio/virtio_pci.h>
+#include <virtio/virtio_net.h>
+#include <virtio/virtio_ring.h>
 
 #include <sel4vm/guest_vm.h>
 #include <sel4vm/guest_memory.h>