Skip to content

Actions: seL4/seL4_projects_libs

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

libsel4vm: Remove SMP config guard on vmpidr reg
CI #419: Commit 9736082 pushed by kent-mcleod
March 14, 2024 22:25 34s master
March 14, 2024 22:25 34s
Arm VM Multicore Improvements
CI #414: Pull request #84 synchronize by chrisguikema
February 1, 2024 14:58 31s dornerworks:arm-vm-multicore
February 1, 2024 14:58 31s
Arm VM Multicore Improvements
CI #413: Pull request #84 synchronize by chrisguikema
February 1, 2024 14:57 39s dornerworks:arm-vm-multicore
February 1, 2024 14:57 39s
vmmplatsupport: support hpet emulation (#117)
CI #411: Commit 4662171 pushed by lsf37
January 27, 2024 23:41 30s master
January 27, 2024 23:41 30s
vmmplatsupport: support hpet emulation
CI #409: Pull request #117 synchronize by chrisguikema
November 15, 2023 02:06 49s chrisguikema:emulate_hpet
November 15, 2023 02:06 49s
vmmplatsupport: support hpet emulation
CI #408: Pull request #117 synchronize by chrisguikema
November 9, 2023 14:44 29s chrisguikema:emulate_hpet
November 9, 2023 14:44 29s
x86, decode: fix 4-level page table walk
CI #407: Commit 0d46afe pushed by abrandnewusername
November 9, 2023 04:14 33s master
November 9, 2023 04:14 33s
trivial, decode: fix zf_log statements
CI #405: Commit 7d8f309 pushed by Indanz
November 8, 2023 21:41 32s master
November 8, 2023 21:41 32s
vmmplatsupport, vesa: fix vesa mapping
CI #402: Commit 8d71a8a pushed by abrandnewusername
November 3, 2023 02:55 33s master
November 3, 2023 02:55 33s
vmmplatsupport: support hpet emulation
CI #398: Pull request #117 synchronize by chrisguikema
October 30, 2023 13:06 37s chrisguikema:emulate_hpet
October 30, 2023 13:06 37s
vmmplatsupport, x86: remove e820 entry
CI #397: Commit e219913 pushed by Indanz
October 27, 2023 16:57 37s master
October 27, 2023 16:57 37s
vmmplatsupport: support hpet emulation
CI #396: Pull request #117 synchronize by chrisguikema
October 27, 2023 14:53 34s chrisguikema:emulate_hpet
October 27, 2023 14:53 34s