From c25bef59aa0ec281035af0282f394d415d595ace Mon Sep 17 00:00:00 2001
From: Ben Wiederhake <BenWiederhake.GitHub@gmx.de>
Date: Tue, 3 Jan 2023 21:05:55 +0100
Subject: [PATCH] Kernel: Repair build for aarch64

This broke in 6fd478b6ce6e717132a5e9a9a907d0e56916701f due to
insufficient testing on my part. Sorry!
---
 Kernel/Arch/aarch64/RPi/InterruptController.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Kernel/Arch/aarch64/RPi/InterruptController.h b/Kernel/Arch/aarch64/RPi/InterruptController.h
index e6419d490d..0730a9e886 100644
--- a/Kernel/Arch/aarch64/RPi/InterruptController.h
+++ b/Kernel/Arch/aarch64/RPi/InterruptController.h
@@ -6,6 +6,7 @@
 
 #pragma once
 
+#include <AK/StringView.h>
 #include <AK/Types.h>
 #include <Kernel/Arch/aarch64/IRQController.h>