dev/kernel/FirmwareKit/EFI.h


1
2
3
4
5
6
7
8
9
10
11

/* -------------------------------------------

	Copyright (C) 2024-2025, Amlal EL Mahrouss, all rights reserved.

------------------------------------------- */

#pragma once

#include <FirmwareKit/EFI/EFI.h>

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