#!/usr/bin/env bash # Created by Tobias Powalowski build () { add_file "/usr/share/efitools/efi/PreLoader.efi" add_file "/usr/share/efitools/efi/HashTool.efi" add_file "/usr/share/efitools/efi/KeyTool.efi" } help () { cat<