Skip to content
seL4Test

morello: Add FVP and SoC platforms to the EFI list #393

Sign in to view logs

morello: Add FVP and SoC platforms to the EFI list

morello: Add FVP and SoC platforms to the EFI list #393

Triggered via pull request January 31, 2024 11:33
@heshamelmataryheshamelmatary
opened #188
CTSRD-CHERI:pr1_morello_aarch64
Status Success
Total duration 12m 0s
Artifacts –

sel4test-sim.yml

on: pull_request
Matrix: Simulation
Fit to window
Zoom out
Zoom in