src/kernel/FirmwareKit/EFI.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

/* ========================================

  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.

======================================== */

#ifndef FIRMWAREKIT_EFI_H
#define FIRMWAREKIT_EFI_H

#include <FirmwareKit/EFI/EFI.h>
#include <FirmwareKit/GPT.h>

/// @note this header is used to reference the EFI/EFI.h

#endif