Javier Almansa Sobrino | 98de503 | 2020-09-17 12:47:05 +0100 | [diff] [blame] | 1 | # |
Sandrine Bailleux | 0bcf413 | 2022-03-31 11:15:51 +0200 | [diff] [blame] | 2 | # Copyright (c) 2020-2022, Arm Limited. All rights reserved. |
Javier Almansa Sobrino | 98de503 | 2020-09-17 12:47:05 +0100 | [diff] [blame] | 3 | # |
| 4 | # SPDX-License-Identifier: BSD-3-Clause |
| 5 | # |
| 6 | # Expect script for Linux/Buildroot using Measured Boot & fTPM |
| 7 | # |
| 8 | |
| 9 | source [file join [file dirname [info script]] utils.inc] |
| 10 | source [file join [file dirname [info script]] handle-arguments.inc] |
| 11 | |
| 12 | # File to store the event log from the ftpm service. |
| 13 | set TFA_DIGEST [get_param tfa_digest "tfa_event_log"] |
Harrison Mutai | 47751e0 | 2025-02-28 12:08:09 +0000 | [diff] [blame] | 14 | set FTPM_DIGEST [get_param ftpm_digest "ftpm_event_log"] |
Javier Almansa Sobrino | 98de503 | 2020-09-17 12:47:05 +0100 | [diff] [blame] | 15 | |
| 16 | # regexp for non-zero PCR0 |
| 17 | set non_zero_pcr "(?!(\\s00){16})((\\s(\[0-9a-f\]){2}){16}\\s)" |
Manish V Badarkhe | fc146c4 | 2021-11-24 15:34:00 +0000 | [diff] [blame] | 18 | set zero_pcr "(\\s00){16}\\s+(00\\s){16}" |
Javier Almansa Sobrino | 98de503 | 2020-09-17 12:47:05 +0100 | [diff] [blame] | 19 | |
Harrison Mutai | 47751e0 | 2025-02-28 12:08:09 +0000 | [diff] [blame] | 20 | capture_log $TFA_DIGEST "Booting BL31" |
Javier Almansa Sobrino | 98de503 | 2020-09-17 12:47:05 +0100 | [diff] [blame] | 21 | |
| 22 | expect { |
| 23 | "login" { |
| 24 | send "root\n" |
| 25 | } |
Javier Almansa Sobrino | 98de503 | 2020-09-17 12:47:05 +0100 | [diff] [blame] | 26 | } |
| 27 | |
| 28 | expect { |
| 29 | "#" { |
| 30 | # Load the fTPM driver and retrieves PCR0 |
| 31 | send "ftpm\n" |
| 32 | } |
Javier Almansa Sobrino | 98de503 | 2020-09-17 12:47:05 +0100 | [diff] [blame] | 33 | } |
| 34 | |
| 35 | expect { |
| 36 | # Pass condition: PCR0 must not be all zeros. |
| 37 | |
| 38 | -re $non_zero_pcr { |
| 39 | exp_continue |
| 40 | } |
| 41 | |
Manish V Badarkhe | fc146c4 | 2021-11-24 15:34:00 +0000 | [diff] [blame] | 42 | "#" { |
| 43 | # get PCR1 value |
| 44 | send "pcrread -ha 1\n" |
| 45 | } |
Manish V Badarkhe | fc146c4 | 2021-11-24 15:34:00 +0000 | [diff] [blame] | 46 | } |
| 47 | |
| 48 | expect { |
| 49 | # Pass condition: PCR1 must not be all zeros. |
| 50 | |
| 51 | -re $non_zero_pcr { |
| 52 | exp_continue |
| 53 | } |
| 54 | |
Javier Almansa Sobrino | 98de503 | 2020-09-17 12:47:05 +0100 | [diff] [blame] | 55 | "#" { } |
Javier Almansa Sobrino | 98de503 | 2020-09-17 12:47:05 +0100 | [diff] [blame] | 56 | } |
| 57 | |
| 58 | # Iterate over the rest of PCRs and check that they all are zeros. |
Manish V Badarkhe | fc146c4 | 2021-11-24 15:34:00 +0000 | [diff] [blame] | 59 | for {set i 2} {$i < 11} {incr i} { |
Javier Almansa Sobrino | 98de503 | 2020-09-17 12:47:05 +0100 | [diff] [blame] | 60 | send "pcrread -ha $i\n" |
| 61 | |
| 62 | expect { |
Manish V Badarkhe | fc146c4 | 2021-11-24 15:34:00 +0000 | [diff] [blame] | 63 | -re $zero_pcr { } |
Javier Almansa Sobrino | 98de503 | 2020-09-17 12:47:05 +0100 | [diff] [blame] | 64 | |
| 65 | -re $non_zero_pcr { |
| 66 | exit_uart -1 |
| 67 | } |
Javier Almansa Sobrino | 98de503 | 2020-09-17 12:47:05 +0100 | [diff] [blame] | 68 | } |
| 69 | } |
| 70 | |
Chris Kay | 07756bc | 2022-11-24 17:21:48 +0000 | [diff] [blame] | 71 | expect_string "#" "finished reading PCRs" |
| 72 | |
Harrison Mutai | 47751e0 | 2025-02-28 12:08:09 +0000 | [diff] [blame] | 73 | compare_log $TFA_DIGEST $FTPM_DIGEST |