csh/libreboot: Libreboot is a free boot fimware implementation, to replace the non-free BIOS/UEFI firmware found on most systems. It initializes the hardware and starts a bootloader for your operating system. @ 9ee7a5a496b96ee934b90d2a126fa70d4c3994b4

forked from libreboot/obsolete-repository-preserved-for-historical-purposes

Andrew Robbins b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash'		7 years ago
..
configs	bfa0228262 tools: Add boot-keys tool to handle keys and images verification	7 years ago
boot-keys	b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash'	7 years ago
boot-keys-helper	b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash'	7 years ago