Skip to content

Actions: seL4/camkes-vm

Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

zynqmp, trivial: add extra smc definition
Trigger #74: Commit 64690e8 pushed by lsf37
January 31, 2024 02:46 16s master
January 31, 2024 02:46 16s
CI: cancel older concurrent PR runs
Trigger #73: Commit ae9cfc9 pushed by lsf37
January 30, 2024 23:24 15s master
January 30, 2024 23:24 15s
github: update GitHub actions
Trigger #72: Commit b3e73a5 pushed by lsf37
January 29, 2024 03:26 18s master
January 29, 2024 03:26 18s
vm_arm, trivial: allow zynqmp to use arping module
Trigger #71: Commit 2023934 pushed by lsf37
January 28, 2024 21:29 14s master
January 28, 2024 21:29 14s
init: emulate the hpet (#113)
Trigger #70: Commit a5565bb pushed by lsf37
January 27, 2024 23:41 2m 22s master
January 27, 2024 23:41 2m 22s
vm_arm: reduce redundancy in template
Trigger #69: Commit 8d7cd52 pushed by lsf37
January 24, 2024 21:47 13s master
January 24, 2024 21:47 13s
vm_arm, zynqmp: add cmake option for petalinux
Trigger #68: Commit c372ff4 pushed by lsf37
January 23, 2024 21:31 12s master
January 23, 2024 21:31 12s
vm_arm: provide GIC and timer to VM on zynqmp
Trigger #67: Commit 514e99c pushed by lsf37
January 21, 2024 21:51 11s master
January 21, 2024 21:51 11s
libvirtio: fix folder name for zynqmp platform
Trigger #66: Commit 420bbf0 pushed by lsf37
January 21, 2024 06:37 15s master
January 21, 2024 06:37 15s
init, trivial: allow for relocs to be optional
Trigger #65: Commit 1c7d86a pushed by Indanz
October 27, 2023 16:59 3m 29s master
October 27, 2023 16:59 3m 29s
libvirtio: add brackets to make expression an atom
Trigger #64: Commit c023ba1 pushed by abrandnewusername
October 27, 2023 03:36 12s master
October 27, 2023 03:36 12s
smc_cap: Allow SMC forwarding, if configured
Trigger #63: Commit 2941a4b pushed by kent-mcleod
September 14, 2023 01:11 12s master
September 14, 2023 01:11 12s