tinyefi

tinyefi is a tiny, public domain, EFI library originally written as part of Brutal.

Naming scheme/Comparison

Contrary to the standard EFI naming scheme, tinyefi uses snake_case for functions and PascalCase for types.

Standard GNU EFI code:

#include <efi.h>#include <efilib.h>
EFI_STATUS
EFIAPI
efi_main (EFI_HANDLE ImageHandle, EFI_SYSTEM_TABLE *SystemTable) {
 InitializeLib(ImageHandle, SystemTable);
 Print(L"Hello, world!\n");
 return EFI_SUCCESS;
}

tinyefi code:

#include <tinyefi/tinyefi.h>
EfiStatus efi_main(EfiHandle image_handle, EfiSystemTable *st)
{
 efi_init(image_handle, st);
 efi_console_write(L"Hello, World!");
 return EFI_SUCCESS;
}