/* SPDX-License-Identifier: Unlicense */

#ifndef __EFI_H__
#define __EFI_H__

#include "boot_table.h"
#include "device_path_protocol.h"
#include "file_protocol.h"
#include "loaded_image_protocol.h"
#include "simple_file_system_protocol.h"
#include "simple_text_output_protocol.h"
#include "system_table.h"
#include "types.h"

#endif // __EFI_H__