mirror of
https://github.com/linuxboot/heads.git
synced 2024-12-22 06:17:52 +00:00
8da5d5d723
- modify bash to have it configured with -Os
16 lines
288 B
Bash
Executable File
16 lines
288 B
Bash
Executable File
#!/bin/bash
|
|
# Boot a USB installation
|
|
|
|
. /etc/functions
|
|
. /tmp/config
|
|
|
|
TRACE "Under /bin/usb-init"
|
|
|
|
if [ "$CONFIG_TPM" = "y" -o "$CONFIG_TPM2_TOOLS" = "y" ]; then
|
|
# Extend PCR4 as soon as possible
|
|
tpmr extend -ix 4 -ic usb
|
|
fi
|
|
|
|
media-scan usb
|
|
recovery "Something failed during USB boot"
|