Skip to content

Actions: seL4/camkes-vm

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
110 workflow runs
110 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

vm_arm: remove deprecated config options PR #516: Pull request #96 synchronize by axel-h
January 21, 2024 15:25 22s Hensoldt-Cyber:patch-axel-23
Hensoldt-Cyber:patch-axel-23
January 21, 2024 15:25 22s
remove AddToFileServer() PR #515: Pull request #76 synchronize by axel-h
January 21, 2024 15:24 25s Hensoldt-Cyber:patch-axel-26
Hensoldt-Cyber:patch-axel-26
January 21, 2024 15:24 25s
vm-arm: inline memory initializtion module PR #514: Pull request #68 synchronize by axel-h
January 21, 2024 15:23 25s Hensoldt-Cyber:patch-axel-18
Hensoldt-Cyber:patch-axel-18
January 21, 2024 15:23 25s
vm_arm: provide GIC and timer to VM on zynqmp PR #513: Pull request #102 synchronize by axel-h
January 21, 2024 15:15 27s Hensoldt-Cyber:patch-axel-41
Hensoldt-Cyber:patch-axel-41
January 21, 2024 15:15 27s
vm_arm: move vpci code to dedicated module PR #512: Pull request #77 synchronize by axel-h
January 21, 2024 15:09 24s Hensoldt-Cyber:patch-axel-17
Hensoldt-Cyber:patch-axel-17
January 21, 2024 15:09 24s
vm_arm: add priority in vm config struct PR #511: Pull request #69 synchronize by axel-h
January 21, 2024 15:08 28s Hensoldt-Cyber:patch-axel-19
Hensoldt-Cyber:patch-axel-19
January 21, 2024 15:08 28s
smc: Add header for plat specfic smc calls PR #510: Pull request #112 synchronize by chrisguikema
January 19, 2024 20:21 26s chrisguikema:zynqmp_smc_calls
chrisguikema:zynqmp_smc_calls
January 19, 2024 20:21 26s
init: add hooks for hpet emulation PR #509: Pull request #113 synchronize by chrisguikema
November 15, 2023 02:07 25s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
November 15, 2023 02:07 25s
init: add hooks for hpet emulation PR #508: Pull request #113 synchronize by chrisguikema
November 15, 2023 02:06 25s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
November 15, 2023 02:06 25s
init: add hooks for hpet emulation PR #507: Pull request #113 synchronize by chrisguikema
November 14, 2023 21:44 46s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
November 14, 2023 21:44 46s
init: add hooks for hpet emulation PR #506: Pull request #113 synchronize by chrisguikema
November 13, 2023 20:33 1m 1s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
November 13, 2023 20:33 1m 1s
init: add hooks for hpet emulation PR #505: Pull request #113 synchronize by chrisguikema
October 30, 2023 20:50 32s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
October 30, 2023 20:50 32s
init: add hooks for hpet emulation PR #504: Pull request #113 synchronize by chrisguikema
October 30, 2023 19:49 35s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
October 30, 2023 19:49 35s
init: add hooks for hpet emulation PR #503: Pull request #113 synchronize by chrisguikema
October 30, 2023 13:32 31s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
October 30, 2023 13:32 31s
init: add hooks for hpet emulation PR #502: Pull request #113 synchronize by chrisguikema
October 30, 2023 13:20 33s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
October 30, 2023 13:20 33s
init: add hooks for hpet emulation PR #501: Pull request #113 synchronize by chrisguikema
October 27, 2023 14:54 33s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
October 27, 2023 14:54 33s
init: add hooks for hpet emulation PR #500: Pull request #113 synchronize by chrisguikema
October 27, 2023 14:52 44s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
October 27, 2023 14:52 44s
init: dynamically determine necessary size for ALLOCMAN_VIRTUAL_SIZE PR #499: Pull request #115 synchronize by chrisguikema
October 26, 2023 20:34 34s chrisguikema:x86_large_ram_vms
chrisguikema:x86_large_ram_vms
October 26, 2023 20:34 34s
init: dynamically determine necessary size for ALLOCMAN_VIRTUAL_SIZE PR #498: Pull request #115 synchronize by chrisguikema
October 26, 2023 19:46 37s chrisguikema:x86_large_ram_vms
chrisguikema:x86_large_ram_vms
October 26, 2023 19:46 37s
init: dynamically determine necessary size for ALLOCMAN_VIRTUAL_SIZE PR #497: Pull request #115 opened by chrisguikema
October 26, 2023 19:43 40s chrisguikema:x86_large_ram_vms
chrisguikema:x86_large_ram_vms
October 26, 2023 19:43 40s
init, trivial: allow for relocs to be optional PR #496: Pull request #114 opened by chrisguikema
October 25, 2023 20:10 51s chrisguikema:relocs_optional
chrisguikema:relocs_optional
October 25, 2023 20:10 51s
init: add hooks for hpet emulation PR #495: Pull request #113 synchronize by chrisguikema
October 25, 2023 20:07 2m 26s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
October 25, 2023 20:07 2m 26s
init: add hooks for hpet emulation PR #494: Pull request #113 synchronize by chrisguikema
October 25, 2023 20:04 34s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
October 25, 2023 20:04 34s
init: add hooks for hpet emulation PR #493: Pull request #113 opened by chrisguikema
October 25, 2023 19:49 36s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
October 25, 2023 19:49 36s
vm_arm: move vpci code to dedicated module PR #492: Pull request #77 synchronize by axel-h
September 27, 2023 14:49 38s Hensoldt-Cyber:patch-axel-17
Hensoldt-Cyber:patch-axel-17
September 27, 2023 14:49 38s