configs: update riscv restore checkpoint test

Change-Id: I019fc6394a03196711ab52533ad8062b22c89daf
This commit is contained in:
Adrià Armejach
2023-07-21 18:36:48 +02:00
parent a9f9c4d6d3
commit ae651f4de1

View File

@@ -90,7 +90,7 @@ board = SimpleBoard(
board.set_se_binary_workload(
# the workload should be the same as the save-checkpoint script
obtain_resource("riscv-hello"),
checkpoint=obtain_resource("riscv-hello-example-checkpoint-v23"),
checkpoint=obtain_resource("riscv-hello-example-checkpoint"),
)
simulator = Simulator(