blob: e5d255c4fe910e25704eea52f1c25775b4b7fa06 [file] [log] [blame]
#
# Copyright (c) 2020-2022, Arm Limited. All rights reserved.
#
# SPDX-License-Identifier: BSD-3-Clause
#
# Expect script for Linux/Buildroot using Measured Boot & fTPM
#
source [file join [file dirname [info script]] utils.inc]
source [file join [file dirname [info script]] handle-arguments.inc]
# File to store the event log from the ftpm service.
set TFA_DIGEST [get_param tfa_digest "tfa_event_log"]
set FTPM_DIGEST [get_param ftpm_digest "ftpm_event_log"]
# regexp for non-zero PCR0
set non_zero_pcr "(?!(\\s00){16})((\\s(\[0-9a-f\]){2}){16}\\s)"
set zero_pcr "(\\s00){16}\\s+(00\\s){16}"
capture_log $TFA_DIGEST "Booting BL31"
expect {
"login" {
send "root\n"
}
}
expect {
"#" {
# Load the fTPM driver and retrieves PCR0
send "ftpm\n"
}
}
expect {
# Pass condition: PCR0 must not be all zeros.
-re $non_zero_pcr {
exp_continue
}
"#" {
# get PCR1 value
send "pcrread -ha 1\n"
}
}
expect {
# Pass condition: PCR1 must not be all zeros.
-re $non_zero_pcr {
exp_continue
}
"#" { }
}
# Iterate over the rest of PCRs and check that they all are zeros.
for {set i 2} {$i < 11} {incr i} {
send "pcrread -ha $i\n"
expect {
-re $zero_pcr { }
-re $non_zero_pcr {
exit_uart -1
}
}
}
expect_string "#" "finished reading PCRs"
compare_log $TFA_DIGEST $FTPM_DIGEST