From a7ce0c2297e316963100babeb462bcc41c550de9 Mon Sep 17 00:00:00 2001
From: Marco Cutecchia <marco.cutecchia@outlook.it>
Date: Sun, 23 Jan 2022 13:30:33 +0100
Subject: [PATCH] Kernel: Add missing #include <AK/Badge.h> to MemoryManager.h

This missing header broke the aarch64 build
---
 Kernel/Memory/MemoryManager.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Kernel/Memory/MemoryManager.h b/Kernel/Memory/MemoryManager.h
index 693709a4ad..9ccf422115 100644
--- a/Kernel/Memory/MemoryManager.h
+++ b/Kernel/Memory/MemoryManager.h
@@ -6,6 +6,7 @@
 
 #pragma once
 
+#include <AK/Badge.h>
 #include <AK/Concepts.h>
 #include <AK/HashTable.h>
 #include <AK/IntrusiveRedBlackTree.h>