#ifndef EFI_H
#define EFI_H

#include "efi_types.h"

typedef struct {
	EFI_UINT64 Signature;
	EFI_UINT32 Revision;
	EFI_UINT32 HeaderSize;
	EFI_UINT32 CRC32;
	EFI_UINT32 Reserved;
} EFI_TABLE_HEADER;

#define EFI_GLOBAL_VARIABLE {0x8be4df61,0x93ca,0x11d2, {0xaa,0x0d,0x00,0xe0,0x98,0x03,0x2b,0x8c}}

#include "efi_st.h"
#include "efi_rs.h"
#include "efi_bs.h"

#include "protocols/acpi.h"
#include "protocols/boot_manager_policy.h"
#include "protocols/console_support.h"
#include "protocols/debugger.h"
#include "protocols/decompress.h"
#include "protocols/device_path.h"
#include "protocols/fwmgmnt.h"
#include "protocols/loaded_image.h"
#include "protocols/media_access.h"
#include "protocols/network.h"
#include "protocols/pci_bus.h"
#include "protocols/scsi.h"
#include "protocols/string_services.h"
#include "protocols/uefi_driver_model.h"
#include "protocols/usb.h"

#endif /* EFI_H */