.. |
Guid
|
[efi] Add EFI headers from the EFI Development Kit (edk2)
|
16 gadus atpakaļ |
Ia32
|
[efi] Update to latest UEFI headers
|
16 gadus atpakaļ |
IndustryStandard
|
[efi] Update to latest UEFI headers
|
16 gadus atpakaļ |
Pi
|
[efi] Update to latest UEFI headers
|
16 gadus atpakaļ |
Protocol
|
[efi] Update to latest UEFI headers
|
16 gadus atpakaļ |
Uefi
|
[efi] Update to latest UEFI headers
|
16 gadus atpakaļ |
Base.h
|
[efi] Update to latest UEFI headers
|
16 gadus atpakaļ |
LICENCE
|
[efi] Add EFI headers from the EFI Development Kit (edk2)
|
16 gadus atpakaļ |
PiDxe.h
|
[efi] Add EFI headers from the EFI Development Kit (edk2)
|
16 gadus atpakaļ |
ProcessorBind.h
|
[efi] Add EFI headers from the EFI Development Kit (edk2)
|
16 gadus atpakaļ |
Uefi.h
|
[efi] Add EFI headers from the EFI Development Kit (edk2)
|
16 gadus atpakaļ |
efi.h
|
[efi] Update to latest UEFI headers
|
16 gadus atpakaļ |
efi_io.h
|
[efi] Add EFI image format and basic runtime environment
|
16 gadus atpakaļ |
efi_pci.h
|
[efi] Add EFI image format and basic runtime environment
|
16 gadus atpakaļ |
efi_timer.h
|
[efi] Add EFI image format and basic runtime environment
|
16 gadus atpakaļ |
efi_uaccess.h
|
[efi] Add EFI image format and basic runtime environment
|
16 gadus atpakaļ |
efi_umalloc.h
|
[efi] Add EFI image format and basic runtime environment
|
16 gadus atpakaļ |
import.pl
|
[efi] Add EFI headers from the EFI Development Kit (edk2)
|
16 gadus atpakaļ |