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>