Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 1 | #!/usr/bin/expect -f |
| 2 | # |
| 3 | # This scripts starts QEMU, loads and boots Linux/OP-TEE, then runs |
| 4 | # xtest in the guest. The return code is 0 for success, >0 for error. |
| 5 | # |
| 6 | # Options: |
| 7 | # --bios Path to the binary to be run [../out/bios-qemu/bios.bin] |
| 8 | # -q Suppress output to stdout (quiet) |
Jerome Forissier | 7a9463c | 2015-08-20 10:53:48 +0200 | [diff] [blame] | 9 | # --timeout Timeout for each test (sub)case, in seconds [480] |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 10 | |
| 11 | set bios "../out/bios-qemu/bios.bin" |
| 12 | set cmd "xtest" |
| 13 | set quiet 0 |
| 14 | |
| 15 | # The time required to run some tests (e.g., key generation tests [4007.*]) |
| 16 | # can be significant and vary widely -- typically, from about one minute to |
| 17 | # several minutes depending on the host machine. |
Jerome Forissier | 7a9463c | 2015-08-20 10:53:48 +0200 | [diff] [blame] | 18 | set timeout 480 |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 19 | |
| 20 | # Parse command line |
| 21 | set myargs $argv |
| 22 | while {[llength $myargs]} { |
| 23 | set myargs [lassign $myargs arg] |
| 24 | switch -exact -- $arg { |
| 25 | "--bios" {set myargs [lassign $myargs ::bios]} |
Jerome Forissier | 7a9463c | 2015-08-20 10:53:48 +0200 | [diff] [blame] | 26 | "--timeout" {set myargs [lassign $myargs ::timeout]} |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 27 | "-q" {set ::quiet 1} |
| 28 | } |
| 29 | } |
| 30 | |
| 31 | proc info arg { |
| 32 | if {$::quiet==1} { return } |
| 33 | puts -nonewline $arg |
| 34 | flush stdout |
| 35 | } |
| 36 | |
| 37 | # Disable echoing of guest output |
| 38 | log_user 0 |
| 39 | # Save guest console output to a file |
| 40 | log_file -a -noappend "serial0.log" |
| 41 | info "Starting QEMU..." |
Jerome Forissier | f3fa64d | 2016-10-17 10:50:51 +0200 | [diff] [blame] | 42 | open "serial1.log" "w+" |
| 43 | spawn -open [open "|tail -f serial1.log"] |
| 44 | set teecore $spawn_id |
Jerome Forissier | 10bb03b | 2019-05-29 00:51:24 +0200 | [diff] [blame^] | 45 | if {[string first "aarch64" $::env(QEMU)] != -1} { |
| 46 | spawn $::env(QEMU) -nographic -serial mon:stdio -serial file:serial1.log -smp $::env(QEMU_SMP) -machine virt,secure=on -cpu cortex-a57 -d unimp -semihosting-config enable,target=native -m 1057 -bios bl1.bin -initrd rootfs.cpio.gz -kernel Image -no-acpi -append "console=ttyAMA0,38400 keep_bootcon root=/dev/vda2" |
| 47 | } else { |
| 48 | spawn $::env(QEMU) -nographic -monitor none -machine virt -machine secure=on -cpu cortex-a15 -smp $::env(QEMU_SMP) -d unimp -semihosting-config enable,target=native -m 1057 -serial stdio -serial file:serial1.log -bios $bios |
| 49 | } |
Jerome Forissier | 7950f2b | 2015-09-03 10:35:29 +0200 | [diff] [blame] | 50 | expect { |
| 51 | "Kernel panic" { |
| 52 | info "!!! Kernel panic\n" |
| 53 | exit 1 |
| 54 | } |
| 55 | timeout { |
| 56 | info "!!! Timeout\n" |
| 57 | exit 1 |
| 58 | } |
Jerome Forissier | 4763adc | 2018-03-14 12:06:21 +0000 | [diff] [blame] | 59 | "ogin:" |
Jerome Forissier | 7950f2b | 2015-09-03 10:35:29 +0200 | [diff] [blame] | 60 | } |
Jerome Forissier | 4763adc | 2018-03-14 12:06:21 +0000 | [diff] [blame] | 61 | send -- "root\r\r" |
| 62 | expect "# " |
Jerome Forissier | c8ba87c | 2017-03-03 17:24:25 +0100 | [diff] [blame] | 63 | info " done, guest is booted.\n" |
Jerome Forissier | 7950f2b | 2015-09-03 10:35:29 +0200 | [diff] [blame] | 64 | # Toolchain libraries might be here or there |
| 65 | send -- "export LD_LIBRARY_PATH=/lib:/lib/arm-linux-gnueabihf\r" |
Jerome Forissier | 4763adc | 2018-03-14 12:06:21 +0000 | [diff] [blame] | 66 | expect "# " |
Jerome Forissier | c8ba87c | 2017-03-03 17:24:25 +0100 | [diff] [blame] | 67 | info "Running: $cmd...\n" |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 68 | send -- "$cmd\r" |
Jerome Forissier | 7950f2b | 2015-09-03 10:35:29 +0200 | [diff] [blame] | 69 | set casenum "none" |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 70 | expect { |
| 71 | # Exit with error status as soon as a test fails |
Jens Wiklander | 06bb442 | 2017-01-20 10:04:09 +0100 | [diff] [blame] | 72 | -re { regression_([^ ]+) FAIL} { |
Jerome Forissier | 7950f2b | 2015-09-03 10:35:29 +0200 | [diff] [blame] | 73 | info " $expect_out(1,string) FAIL\n" |
| 74 | exit 1 |
| 75 | } |
| 76 | -re {rcu_sched detected stalls} { |
| 77 | info " Kernel error: '$expect_out(0,string)'\n" |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 78 | exit 1 |
| 79 | } |
| 80 | # Crude progress indicator: print one # when each test [sub]case starts |
Jens Wiklander | 06bb442 | 2017-01-20 10:04:09 +0100 | [diff] [blame] | 81 | -re {([\*o]) regression_([^ ]+) } { |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 82 | set casenum $expect_out(2,string) |
| 83 | if {$expect_out(1,string) == "o"} { |
| 84 | if {$star == 1} { |
| 85 | # Do not count first subcase ('o') since start |
| 86 | # of test ('*') was counted already |
| 87 | set star 0 |
| 88 | exp_continue |
| 89 | } |
| 90 | } else { |
| 91 | set star 1 |
| 92 | } |
| 93 | info "#" |
| 94 | incr ncases |
Jerome Forissier | 7950f2b | 2015-09-03 10:35:29 +0200 | [diff] [blame] | 95 | if {$ncases % 50 == 0} { info "\n" } |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 96 | exp_continue |
| 97 | } |
| 98 | # Exit when result separator is seen |
| 99 | "+-----------------------------------------------------\r\r" {} |
Jerome Forissier | f3fa64d | 2016-10-17 10:50:51 +0200 | [diff] [blame] | 100 | # Handle errors in TEE core output |
| 101 | -i $teecore -re {(assertion.*failed at.*)\n} { |
| 102 | info "!!! TEE core assertion failed: '$expect_out(1,string)'\n" |
| 103 | exit 1 |
| 104 | } |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 105 | timeout { |
| 106 | info "!!! Timeout\n" |
Jerome Forissier | 7950f2b | 2015-09-03 10:35:29 +0200 | [diff] [blame] | 107 | info "TIMEOUT - test case too long or hung? (last test started: $casenum)\n" |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 108 | exit 2 |
| 109 | } |
| 110 | } |
| 111 | info "\nStatus: PASS ($ncases test cases)\n" |
| 112 | |