|
@@ -29,9 +29,11 @@ FILE_LICENCE ( GPL2_OR_LATER );
|
29
|
29
|
#include <ipxe/efi/Protocol/DiskIo.h>
|
30
|
30
|
#include <ipxe/efi/Protocol/DriverBinding.h>
|
31
|
31
|
#include <ipxe/efi/Protocol/GraphicsOutput.h>
|
|
32
|
+#include <ipxe/efi/Protocol/HiiConfigAccess.h>
|
32
|
33
|
#include <ipxe/efi/Protocol/LoadFile.h>
|
33
|
34
|
#include <ipxe/efi/Protocol/LoadFile2.h>
|
34
|
35
|
#include <ipxe/efi/Protocol/LoadedImage.h>
|
|
36
|
+#include <ipxe/efi/Protocol/NetworkInterfaceIdentifier.h>
|
35
|
37
|
#include <ipxe/efi/Protocol/PciIo.h>
|
36
|
38
|
#include <ipxe/efi/Protocol/PciRootBridgeIo.h>
|
37
|
39
|
#include <ipxe/efi/Protocol/PxeBaseCode.h>
|
|
@@ -77,6 +79,10 @@ EFI_GUID efi_driver_binding_protocol_guid
|
77
|
79
|
EFI_GUID efi_graphics_output_protocol_guid
|
78
|
80
|
= EFI_GRAPHICS_OUTPUT_PROTOCOL_GUID;
|
79
|
81
|
|
|
82
|
+/** HII configuration access protocol GUID */
|
|
83
|
+EFI_GUID efi_hii_config_access_protocol_guid
|
|
84
|
+ = EFI_HII_CONFIG_ACCESS_PROTOCOL_GUID;
|
|
85
|
+
|
80
|
86
|
/** Load file protocol GUID */
|
81
|
87
|
EFI_GUID efi_load_file_protocol_guid
|
82
|
88
|
= EFI_LOAD_FILE_PROTOCOL_GUID;
|
|
@@ -93,6 +99,14 @@ EFI_GUID efi_loaded_image_protocol_guid
|
93
|
99
|
EFI_GUID efi_loaded_image_device_path_protocol_guid
|
94
|
100
|
= EFI_LOADED_IMAGE_DEVICE_PATH_PROTOCOL_GUID;
|
95
|
101
|
|
|
102
|
+/** Network interface identifier protocol GUID (old version) */
|
|
103
|
+EFI_GUID efi_nii_protocol_guid
|
|
104
|
+ = EFI_NETWORK_INTERFACE_IDENTIFIER_PROTOCOL_GUID;
|
|
105
|
+
|
|
106
|
+/** Network interface identifier protocol GUID (new version) */
|
|
107
|
+EFI_GUID efi_nii31_protocol_guid
|
|
108
|
+ = EFI_NETWORK_INTERFACE_IDENTIFIER_PROTOCOL_GUID_31;
|
|
109
|
+
|
96
|
110
|
/** PCI I/O protocol GUID */
|
97
|
111
|
EFI_GUID efi_pci_io_protocol_guid
|
98
|
112
|
= EFI_PCI_IO_PROTOCOL_GUID;
|