[efi] Blacklist the Dell Ip4ConfigDxe driver
[ipxe.git] / src / include / ipxe / efi / efi_blacklist.h
1 #ifndef _IPXE_EFI_BLACKLIST_H
2 #define _IPXE_EFI_BLACKLIST_H
3
4 /** @file
5 *
6 * EFI driver blacklist
7 */
8
9 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
10
11 extern void efi_unload_blacklist ( void );
12
13 #endif /* _IPXE_EFI_BLACKLIST_H */