From 44410bdb3dc9b403bc3551480c6eb8424ec7c5ca Mon Sep 17 00:00:00 2001
From: Andy Bui <andy.bui@unsw.edu.au>
Date: Mon, 15 Aug 2022 05:21:59 +0000
Subject: [PATCH] Separate virtio headers into their own lib

Signed-off-by: Andy Bui <andy.bui@unsw.edu.au>
---
 components/Init/src/virtio_blk.c | 8 ++++----
 components/Init/src/virtio_net.c | 6 +++---
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/components/Init/src/virtio_blk.c b/components/Init/src/virtio_blk.c
index e1faaccc..03c05bcf 100644
--- 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
index 761a8ea2..d3fa9c26 100644
--- 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>