diff options
Diffstat (limited to 'dev/kernel/FirmwareKit/EFI.h')
| -rw-r--r-- | dev/kernel/FirmwareKit/EFI.h | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/dev/kernel/FirmwareKit/EFI.h b/dev/kernel/FirmwareKit/EFI.h deleted file mode 100644 index f75f0fbe..00000000 --- a/dev/kernel/FirmwareKit/EFI.h +++ /dev/null @@ -1,12 +0,0 @@ -/* ======================================== - - Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license. - -======================================== */ - -#pragma once - -#include <FirmwareKit/EFI/EFI.h> -#include <FirmwareKit/GPT.h> - -/// @note this header is used to reference the EFI/EFI.h |