Kyle Rankin 2f9c201f3e

Add a configuration GUI script ...

This change will add a new GUI script that will allow users to change
their running configuration (currently just /boot and USB boot options)
and optionally persist that modified configuration with reflashing the
BIOS with a modified cbfs.

2018-12-06 10:43:34 -08:00

..

bin

Add a configuration GUI script

2018-12-06 10:43:34 -08:00

etc

update tails distro signing key

2018-11-18 10:49:37 -08:00

sbin

"$@" does not expand correctly in test expressions, use "$*" instead (issue #181)

2017-04-11 06:31:25 -04:00

.ash_history

Update .ash_history

2018-10-04 22:01:54 -04:00

init

Read and measure an EFI file into initrd during init

2018-04-29 19:58:44 -07:00

mount-boot

extract and verify gpg signature on the boot script

2016-08-06 17:13:22 -04:00