Tools and libraries to work with EFI
