Skip to content

Actions: seL4/camkes-vm

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
99 workflow runs
99 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

vm_arm: add pcpu list for core pinning
PR #591: Pull request #54 synchronize by chrisguikema
February 1, 2024 15:27 38s dornerworks:core-pinning
February 1, 2024 15:27 38s
vm_arm: add pcpu list for core pinning
PR #590: Pull request #54 synchronize by chrisguikema
February 1, 2024 15:18 50s dornerworks:core-pinning
February 1, 2024 15:18 50s
vm_arm: add pcpu list for core pinning
PR #589: Pull request #54 synchronize by chrisguikema
February 1, 2024 15:11 34s dornerworks:core-pinning
February 1, 2024 15:11 34s
vm_arm: add pcpu list for core pinning
PR #588: Pull request #54 synchronize by chrisguikema
February 1, 2024 15:04 33s dornerworks:core-pinning
February 1, 2024 15:04 33s
CMake: just depend on VmPCISupport
PR #587: Pull request #125 synchronize by axel-h
January 31, 2024 13:20 29s axel-h:patch-axel-3
January 31, 2024 13:20 29s
remove AddToFileServer()
PR #586: Pull request #76 synchronize by axel-h
January 31, 2024 12:57 28s Hensoldt-Cyber:patch-axel-26
January 31, 2024 12:57 28s
vm-arm: inline memory initializtion module
PR #585: Pull request #68 synchronize by axel-h
January 31, 2024 12:57 33s Hensoldt-Cyber:patch-axel-18
January 31, 2024 12:57 33s
vm_arm: move vpci code to dedicated module
PR #584: Pull request #77 synchronize by axel-h
January 31, 2024 12:55 32s Hensoldt-Cyber:patch-axel-17
January 31, 2024 12:55 32s
vm_arm: add priority in vm config struct
PR #583: Pull request #69 synchronize by axel-h
January 31, 2024 12:55 35s Hensoldt-Cyber:patch-axel-19
January 31, 2024 12:55 35s
vm_arm: remove deprecated config options
PR #582: Pull request #96 synchronize by axel-h
January 31, 2024 12:54 1m 0s Hensoldt-Cyber:patch-axel-23
January 31, 2024 12:54 1m 0s
Zynqmp 2022 1
PR #581: Pull request #129 synchronize by lsf37
January 31, 2024 01:03 34s chrisguikema:zynqmp_2022_1
January 31, 2024 01:03 34s
Zynqmp 2022 1
PR #580: Pull request #129 synchronize by chrisguikema
January 30, 2024 15:31 26s chrisguikema:zynqmp_2022_1
January 30, 2024 15:31 26s
Zynqmp 2022 1
PR #579: Pull request #129 opened by chrisguikema
January 30, 2024 15:30 33s chrisguikema:zynqmp_2022_1
January 30, 2024 15:30 33s
apply CI updates that were done in other repos also
PR #578: Pull request #128 opened by axel-h
January 30, 2024 14:02 49s axel-h:patch-axel-5
January 30, 2024 14:02 49s
Patch axel 32
PR #577: Pull request #127 opened by axel-h
January 29, 2024 11:42 21s axel-h:patch-axel-32
January 29, 2024 11:42 21s
CMake: just depend on VmPCISupport
PR #576: Pull request #125 synchronize by axel-h
January 29, 2024 11:26 37s axel-h:patch-axel-3
January 29, 2024 11:26 37s
Testing CI runs for ZCU102 hardware
PR #575: Pull request #124 synchronize by axel-h
January 29, 2024 11:25 26s axel-h:patch-axel-ci-1
January 29, 2024 11:25 26s
github: update GitHub actions
PR #574: Pull request #126 opened by axel-h
January 29, 2024 00:39 28s axel-h:patch-axel-5
January 29, 2024 00:39 28s
remove AddToFileServer()
PR #573: Pull request #76 synchronize by axel-h
January 28, 2024 21:48 38s Hensoldt-Cyber:patch-axel-26
January 28, 2024 21:48 38s
vm-arm: inline memory initializtion module
PR #572: Pull request #68 synchronize by axel-h
January 28, 2024 21:48 27s Hensoldt-Cyber:patch-axel-18
January 28, 2024 21:48 27s
vm_arm: move vpci code to dedicated module
PR #571: Pull request #77 synchronize by axel-h
January 28, 2024 21:46 31s Hensoldt-Cyber:patch-axel-17
January 28, 2024 21:46 31s
vm_arm: add priority in vm config struct
PR #570: Pull request #69 synchronize by axel-h
January 28, 2024 21:44 25s Hensoldt-Cyber:patch-axel-19
January 28, 2024 21:44 25s
vm_arm: remove deprecated config options
PR #569: Pull request #96 synchronize by axel-h
January 28, 2024 21:44 24s Hensoldt-Cyber:patch-axel-23
January 28, 2024 21:44 24s
CMake: just depend on VmPCISupport
PR #568: Pull request #125 synchronize by axel-h
January 28, 2024 21:38 24s axel-h:patch-axel-3
January 28, 2024 21:38 24s
Testing CI runs for ZCU102 hardware
PR #567: Pull request #124 synchronize by axel-h
January 28, 2024 21:37 27s axel-h:patch-axel-ci-1
January 28, 2024 21:37 27s