From 16b1c3d6fbd352ef0c9b14487700318b65a97311 Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Thu, 9 May 2024 15:51:47 +1000
Subject: [PATCH] virtio-snd: remove unecessary include

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
---
 examples/virtio-snd/snd_driver_vmm.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/examples/virtio-snd/snd_driver_vmm.c b/examples/virtio-snd/snd_driver_vmm.c
index 7505cbef..e9cc5cdd 100644
--- a/examples/virtio-snd/snd_driver_vmm.c
+++ b/examples/virtio-snd/snd_driver_vmm.c
@@ -7,7 +7,6 @@
 #include <stdint.h>
 #include <microkit.h>
 #include "util/util.h"
-#include "arch/aarch64/vgic/vgic.h"
 #include "arch/aarch64/linux.h"
 #include "arch/aarch64/fault.h"
 #include "guest.h"