Skip to content

Actions: seL4/seL4_tools

Actions

seL4Test-Sim

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
improve CPIO creation seL4Test-Sim #422: Pull request #151 synchronize by axel-h
February 19, 2024 11:24 33m 18s Hensoldt-Cyber:patch-axel-10
Hensoldt-Cyber:patch-axel-10
February 19, 2024 11:24 33m 18s
elfloader: factor out load_dtb() seL4Test-Sim #421: Pull request #161 synchronize by axel-h
February 19, 2024 11:23 1h 23m 14s Hensoldt-Cyber:patch-axel-15
Hensoldt-Cyber:patch-axel-15
February 19, 2024 11:23 1h 23m 14s
elfloader: factor out check_hash() seL4Test-Sim #420: Pull request #160 synchronize by axel-h
February 19, 2024 11:23 16m 16s Hensoldt-Cyber:patch-axel-14
Hensoldt-Cyber:patch-axel-14
February 19, 2024 11:23 16m 16s
cmake: group arch specific handling seL4Test-Sim #419: Pull request #162 synchronize by axel-h
February 19, 2024 11:18 15m 14s axel-h:patch-axel-11
axel-h:patch-axel-11
February 19, 2024 11:18 15m 14s
elfloader: Check return code of device init seL4Test-Sim #418: Commit 24a7eca pushed by Indanz
February 19, 2024 10:26 12m 48s master
master
February 19, 2024 10:26 12m 48s
elfloader: Add generic-timer driver seL4Test-Sim #417: Pull request #168 synchronize by kent-mcleod
February 18, 2024 20:58 12m 48s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 18, 2024 20:58 12m 48s
elfloader: Add generic-timer driver seL4Test-Sim #416: Pull request #168 synchronize by kent-mcleod
February 15, 2024 20:55 12m 45s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 15, 2024 20:55 12m 45s
elfloader: Add generic-timer driver seL4Test-Sim #415: Pull request #168 synchronize by kent-mcleod
February 15, 2024 20:48 12m 46s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 15, 2024 20:48 12m 46s
elfloader: Add generic-timer driver seL4Test-Sim #414: Pull request #168 synchronize by kent-mcleod
February 15, 2024 20:47 13m 44s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 15, 2024 20:47 13m 44s
elfloader: Add generic-timer driver seL4Test-Sim #413: Pull request #168 synchronize by kent-mcleod
February 15, 2024 13:30 12m 44s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 15, 2024 13:30 12m 44s
elfloader: Add generic-timer driver seL4Test-Sim #412: Pull request #168 synchronize by kent-mcleod
February 15, 2024 12:33 12m 41s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 15, 2024 12:33 12m 41s
elfloader: Add generic-timer driver seL4Test-Sim #411: Pull request #168 synchronize by kent-mcleod
February 15, 2024 12:31 12m 45s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 15, 2024 12:31 12m 45s
elfloader: Add generic-timer driver seL4Test-Sim #410: Pull request #168 synchronize by kent-mcleod
February 15, 2024 12:14 12m 54s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 15, 2024 12:14 12m 54s
elfloader: Add generic-timer driver seL4Test-Sim #409: Pull request #168 synchronize by kent-mcleod
February 15, 2024 12:10 12m 56s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 15, 2024 12:10 12m 56s
elfloader: Add generic-timer driver seL4Test-Sim #408: Pull request #168 synchronize by kent-mcleod
February 15, 2024 12:09 12m 55s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 15, 2024 12:09 12m 55s
elfloader: Add generic-timer driver seL4Test-Sim #407: Pull request #168 synchronize by kent-mcleod
February 15, 2024 12:03 2m 8s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 15, 2024 12:03 2m 8s
elfloader: Add generic-timer driver seL4Test-Sim #406: Pull request #168 synchronize by kent-mcleod
February 15, 2024 12:00 2m 11s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
February 15, 2024 12:00 2m 11s
improve RISC-V multi core boot seL4Test-Sim #405: Pull request #132 synchronize by axel-h
February 15, 2024 10:11 12m 48s axel-h:patch-axel-7
axel-h:patch-axel-7
February 15, 2024 10:11 12m 48s
cmake: group arch specific handling seL4Test-Sim #404: Pull request #162 synchronize by axel-h
February 15, 2024 10:09 12m 44s axel-h:patch-axel-11
axel-h:patch-axel-11
February 15, 2024 10:09 12m 44s
Elfloader: NVIDIA Jetson Orin support seL4Test-Sim #403: Pull request #190 synchronize by andybui01
February 8, 2024 05:54 12m 49s andybui01:andyb/orin-port
andybui01:andyb/orin-port
February 8, 2024 05:54 12m 49s
Elfloader: NVIDIA Jetson Orin support seL4Test-Sim #402: Pull request #190 synchronize by andybui01
February 8, 2024 05:52 12m 41s andybui01:andyb/orin-port
andybui01:andyb/orin-port
February 8, 2024 05:52 12m 41s
Elfloader: NVIDIA Jetson Orin support seL4Test-Sim #401: Pull request #190 synchronize by andybui01
February 8, 2024 05:44 12m 47s andybui01:andyb/orin-port
andybui01:andyb/orin-port
February 8, 2024 05:44 12m 47s
Elfloader: NVIDIA Jetson Orin support seL4Test-Sim #400: Pull request #190 opened by andybui01
February 8, 2024 03:55 12m 46s andybui01:andyb/orin-port
andybui01:andyb/orin-port
February 8, 2024 03:55 12m 46s
github: bump actions to node20 seL4Test-Sim #399: Commit 92124ea pushed by lsf37
February 7, 2024 23:38 39m 0s master
master
February 7, 2024 23:38 39m 0s
github: bump actions to node20 seL4Test-Sim #398: Pull request #189 opened by lsf37
February 7, 2024 04:55 12m 44s github-node20
github-node20
February 7, 2024 04:55 12m 44s