Skip to content

Actions: seL4/util_libs

Actions

seL4Test-Sim

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sel4test-sim.yml
97 workflow runs
97 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

morello: Add support for QEMU platform seL4Test-Sim #361: Pull request #172 synchronize by heshamelmatary
January 12, 2024 12:27 11m 58s CTSRD-CHERI:morello_aarch64
CTSRD-CHERI:morello_aarch64
January 12, 2024 12:27 11m 58s
libethdrivers: make zynqmp driver usable seL4Test-Sim #360: Pull request #161 synchronize by axel-h
January 12, 2024 12:10 12m 3s Hensoldt-Cyber:patch-axel-18
Hensoldt-Cyber:patch-axel-18
January 12, 2024 12:10 12m 3s
Update libftd to v1.7.0 seL4Test-Sim #359: Pull request #163 synchronize by axel-h
January 12, 2024 12:10 11m 56s Hensoldt-Cyber:patch-axel-19
Hensoldt-Cyber:patch-axel-19
January 12, 2024 12:10 11m 56s
libplatsupport: separate drivers from platforms seL4Test-Sim #358: Pull request #157 synchronize by axel-h
January 12, 2024 12:06 11m 59s Hensoldt-Cyber:patch-axel-6
Hensoldt-Cyber:patch-axel-6
January 12, 2024 12:06 11m 59s
do simulation and HW build with LLVM on RISCV seL4Test-Sim #357: Commit 0ede24e pushed by lsf37
January 11, 2024 22:34 18m 35s master
master
January 11, 2024 22:34 18m 35s
libplatsupport: separate drivers from platforms seL4Test-Sim #356: Pull request #157 synchronize by axel-h
January 11, 2024 19:40 9m 26s Hensoldt-Cyber:patch-axel-6
Hensoldt-Cyber:patch-axel-6
January 11, 2024 19:40 9m 26s
libplatsupport: separate drivers from platforms seL4Test-Sim #355: Pull request #157 synchronize by axel-h
January 11, 2024 19:36 3m 34s Hensoldt-Cyber:patch-axel-6
Hensoldt-Cyber:patch-axel-6
January 11, 2024 19:36 3m 34s
libplatsupport: separate drivers from platforms seL4Test-Sim #354: Pull request #157 synchronize by axel-h
January 11, 2024 19:33 1m 45s Hensoldt-Cyber:patch-axel-6
Hensoldt-Cyber:patch-axel-6
January 11, 2024 19:33 1m 45s
libplatsupport: separate drivers from platforms seL4Test-Sim #353: Pull request #157 synchronize by axel-h
January 11, 2024 18:18 1m 44s Hensoldt-Cyber:patch-axel-6
Hensoldt-Cyber:patch-axel-6
January 11, 2024 18:18 1m 44s
libplatsupport: separate drivers from platforms seL4Test-Sim #352: Pull request #157 synchronize by axel-h
January 11, 2024 18:11 5m 48s Hensoldt-Cyber:patch-axel-6
Hensoldt-Cyber:patch-axel-6
January 11, 2024 18:11 5m 48s
libplatsupport: separate drivers from platforms seL4Test-Sim #351: Pull request #157 synchronize by axel-h
January 11, 2024 18:10 3m 17s Hensoldt-Cyber:patch-axel-6
Hensoldt-Cyber:patch-axel-6
January 11, 2024 18:10 3m 17s
libplatsupport: separate drivers from platforms seL4Test-Sim #350: Pull request #157 synchronize by axel-h
January 11, 2024 17:57 16m 3s Hensoldt-Cyber:patch-axel-6
Hensoldt-Cyber:patch-axel-6
January 11, 2024 17:57 16m 3s
libplatsupport: separate drivers from platforms seL4Test-Sim #349: Pull request #157 synchronize by axel-h
January 11, 2024 17:57 16m 31s Hensoldt-Cyber:patch-axel-6
Hensoldt-Cyber:patch-axel-6
January 11, 2024 17:57 16m 31s
do simulation and HW build with LLVM on RISCV seL4Test-Sim #348: Pull request #173 opened by axel-h
January 11, 2024 16:47 11m 50s axel-h:patch-axel-21
axel-h:patch-axel-21
January 11, 2024 16:47 11m 50s
libplatsupport: separate drivers from platforms seL4Test-Sim #347: Pull request #157 synchronize by axel-h
January 11, 2024 16:27 9m 30s Hensoldt-Cyber:patch-axel-6
Hensoldt-Cyber:patch-axel-6
January 11, 2024 16:27 9m 30s
libplatsupport: separate drivers from platforms seL4Test-Sim #346: Pull request #157 synchronize by axel-h
January 11, 2024 16:18 9m 27s Hensoldt-Cyber:patch-axel-6
Hensoldt-Cyber:patch-axel-6
January 11, 2024 16:18 9m 27s
libplatsupport: separate drivers from platforms seL4Test-Sim #345: Pull request #157 synchronize by axel-h
January 11, 2024 16:09 9m 19s Hensoldt-Cyber:patch-axel-6
Hensoldt-Cyber:patch-axel-6
January 11, 2024 16:09 9m 19s
morello: Add support for QEMU platform seL4Test-Sim #344: Pull request #172 synchronize by heshamelmatary
January 11, 2024 15:26 9m 25s CTSRD-CHERI:morello_aarch64
CTSRD-CHERI:morello_aarch64
January 11, 2024 15:26 9m 25s
morello: Add support for QEMU platform seL4Test-Sim #343: Pull request #172 opened by heshamelmatary
January 11, 2024 15:19 9m 25s CTSRD-CHERI:morello_aarch64
CTSRD-CHERI:morello_aarch64
January 11, 2024 15:19 9m 25s
Update mach timer.h to use axi instead of amba seL4Test-Sim #341: Pull request #169 synchronize by chrisguikema
September 13, 2023 14:08 13m 48s chrisguikema:plinux_2021.1
chrisguikema:plinux_2021.1
September 13, 2023 14:08 13m 48s
libethdrivers: make zynqmp driver usable seL4Test-Sim #340: Pull request #161 synchronize by axel-h
September 12, 2023 07:32 14m 29s Hensoldt-Cyber:patch-axel-18
Hensoldt-Cyber:patch-axel-18
September 12, 2023 07:32 14m 29s
Update libftd to v1.7.0 seL4Test-Sim #339: Pull request #163 synchronize by axel-h
September 12, 2023 07:31 13m 42s Hensoldt-Cyber:patch-axel-19
Hensoldt-Cyber:patch-axel-19
September 12, 2023 07:31 13m 42s
libplatsupport: separate drivers from platforms seL4Test-Sim #338: Pull request #157 synchronize by axel-h
September 12, 2023 07:31 12m 51s Hensoldt-Cyber:patch-axel-6
Hensoldt-Cyber:patch-axel-6
September 12, 2023 07:31 12m 51s
Change to support BSD sed seL4Test-Sim #337: Commit af6b18b pushed by lsf37
September 11, 2023 08:35 14m 25s master
master
September 11, 2023 08:35 14m 25s
Change to support BSD sed seL4Test-Sim #336: Pull request #170 synchronize by alwin-joshy
September 11, 2023 08:11 15m 21s alwin-joshy:macos_touch
alwin-joshy:macos_touch
September 11, 2023 08:11 15m 21s