Skip to content

Actions: seL4/seL4_tools

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
170 workflow runs
170 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enable SMP on qemu-arm-virt
PR #652: Pull request #202 opened by andybui01
June 25, 2024 13:25 26s andybui01:andyb/qemu-smp
June 25, 2024 13:25 26s
cmake: Support binary build for imx8mp-evk
PR #651: Pull request #201 synchronize by nomadeel
June 12, 2024 06:29 25s nomadeel:imx8mp_evk
June 12, 2024 06:29 25s
Add support for Pine64 Star64
PR #650: Pull request #174 synchronize by Ivan-Velickovic
June 11, 2024 09:33 26s Ivan-Velickovic:star64
June 11, 2024 09:33 26s
improve CPIO creation
PR #648: Pull request #151 synchronize by axel-h
May 30, 2024 13:10 19s Hensoldt-Cyber:patch-axel-10
May 30, 2024 13:10 19s
elfloader: remove attic compiler parameter
PR #647: Pull request #193 synchronize by axel-h
May 30, 2024 13:05 23s axel-h:patch-axel-21
May 30, 2024 13:05 23s
elfloader: make check more intuitive
PR #646: Pull request #197 synchronize by axel-h
May 30, 2024 13:03 21s axel-h:patch-axel-26
May 30, 2024 13:03 21s
elfloader: avoid redundant calculation
PR #645: Pull request #196 synchronize by axel-h
May 30, 2024 13:03 22s axel-h:patch-axel-25
May 30, 2024 13:03 22s
elfloader: use loop variable as index
PR #644: Pull request #195 synchronize by axel-h
May 30, 2024 13:03 25s axel-h:patch-axel-24
May 30, 2024 13:03 25s
cmake: group arch specific handling
PR #643: Pull request #162 synchronize by axel-h
May 30, 2024 13:02 21s axel-h:patch-axel-11
May 30, 2024 13:02 21s
cmake: Support binary build for imx8mp-evk
PR #642: Pull request #201 synchronize by nomadeel
May 15, 2024 06:08 43s nomadeel:imx8mp_evk
May 15, 2024 06:08 43s
cmake: use quotes
PR #640: Pull request #199 synchronize by axel-h
May 13, 2024 15:14 27s axel-h:patch-axel-27
May 13, 2024 15:14 27s
cmake: use quotes
PR #638: Pull request #199 synchronize by axel-h
May 13, 2024 15:03 20s axel-h:patch-axel-27
May 13, 2024 15:03 20s
cmake: use quotes
PR #636: Pull request #199 opened by axel-h
April 15, 2024 10:20 2m 40s axel-h:patch-axel-27
April 15, 2024 10:20 2m 40s
elfloader: make check more intuitive
PR #633: Pull request #197 opened by axel-h
March 22, 2024 11:43 20s axel-h:patch-axel-26
March 22, 2024 11:43 20s
elfloader: avoid redundant calculation
PR #632: Pull request #196 opened by axel-h
March 22, 2024 11:09 21s axel-h:patch-axel-25
March 22, 2024 11:09 21s
elfloader: use loop variable as index
PR #631: Pull request #195 opened by axel-h
March 22, 2024 09:44 23s axel-h:patch-axel-24
March 22, 2024 09:44 23s
elfloader: factor out check_hash()
PR #628: Pull request #160 synchronize by axel-h
March 14, 2024 11:29 25s Hensoldt-Cyber:patch-axel-14
March 14, 2024 11:29 25s