Skip to content
Snippets Groups Projects
Commit fca6c94e authored by Jerome Forissier's avatar Jerome Forissier Committed by Jérôme Forissier
Browse files

qemu: use 4 virtual CPUs (-smp 4) for "make check"


Now that OP-TEE supports several cores in QEMU, use 4 of them when
running "make check". This is hopefully more likely to catch any
concurrency bug.

Signed-off-by: default avatarJerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: default avatarJoakim Bech <joakim.bech@linaro.org>
Reviewed-by: default avatarJens Wiklander <jens.wiklander@linaro.org>
parent 47985c8d
No related branches found
No related tags found
No related merge requests found
......@@ -42,7 +42,7 @@ info "Starting QEMU..."
open "serial1.log" "w+"
spawn -open [open "|tail -f serial1.log"]
set teecore $spawn_id
spawn $::env(QEMU) -nographic -monitor none -machine virt -machine secure=on -cpu cortex-a15 -d unimp -semihosting-config enable,target=native -m 1057 -serial stdio -serial file:serial1.log -bios $bios
spawn $::env(QEMU) -nographic -monitor none -machine virt -machine secure=on -cpu cortex-a15 -smp 4 -d unimp -semihosting-config enable,target=native -m 1057 -serial stdio -serial file:serial1.log -bios $bios
expect {
"Kernel panic" {
info "!!! Kernel panic\n"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment