// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/nekernel-org/nekernel

#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