Skip to content
seL4Test

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

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 #157

Triggered via pull request February 19, 2024 02:24
@Ivan-VelickovicIvan-Velickovic
synchronize #114
Ivan-Velickovic:sel4_1199_reproduce
Status Success
Total duration 13m 4s
Artifacts –

sel4test-sim.yml

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