diff --git a/src/arch/arm32/exception.c b/src/arch/arm32/exception.c
index df16b503..c709f11d 100644
--- a/src/arch/arm32/exception.c
+++ b/src/arch/arm32/exception.c
@@ -10,8 +10,6 @@
 
 #include <log.h>
 
-#include <sys-gic.h>
-
 static void show_regs(struct arm_regs_t *regs) {
     int i = 0;