Skip to content
seL4Test HW

Add a test for injecting an IRQ on a vCPU without a TCB associated #57

Sign in to view logs

Add a test for injecting an IRQ on a vCPU without a TCB associated

Add a test for injecting an IRQ on a vCPU without a TCB associated #57

Triggered via pull request February 16, 2024 07:04
@Ivan-VelickovicIvan-Velickovic
synchronize #114
Status Skipped
Total duration 5s
Artifacts –

sel4test-hw.yml

on: pull_request_target
Matrix: HW Build
Matrix
0s
Matrix
Matrix: HW Run
Fit to window
Zoom out
Zoom in