Skip to content

Actions: seL4/seL4_tools

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
169 workflow runs
169 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

simulation: pass SMP number to QEMU
PR #680: Pull request #210 opened by yf13
November 5, 2024 08:14 23s yf13:qemu-smp
November 5, 2024 08:14 23s
Zcu102 support for the "simulate" script based on Qemu
PR #679: Pull request #209 opened by jcdubois
October 29, 2024 05:56 Action required jcdubois:zcu102
October 29, 2024 05:56 Action required
cmake: group arch specific handling
PR #678: Pull request #162 synchronize by axel-h
October 19, 2024 13:49 26s axel-h:patch-axel-11
October 19, 2024 13:49 26s
simulation: Add support for i.mx7 simulation through Qemu
PR #677: Pull request #208 opened by jcdubois
October 8, 2024 15:18 24s jcdubois:imx7
October 8, 2024 15:18 24s
cmake_tool: add ELF loader setting for zynqmq 32
PR #676: Pull request #207 opened by lsf37
August 13, 2024 08:05 39s zynqmq-32
August 13, 2024 08:05 39s
elfloader: remove attic compiler parameter
PR #674: Pull request #193 synchronize by axel-h
August 9, 2024 09:20 3m 23s axel-h:patch-axel-21
August 9, 2024 09:20 3m 23s
elfloader: avoid redundant calculation
PR #673: Pull request #196 synchronize by axel-h
August 9, 2024 09:19 30s axel-h:patch-axel-25
August 9, 2024 09:19 30s
elfloader: use loop variable as index
PR #672: Pull request #195 synchronize by axel-h
August 9, 2024 09:19 21s axel-h:patch-axel-24
August 9, 2024 09:19 21s
cmake: group arch specific handling
PR #671: Pull request #162 synchronize by axel-h
August 9, 2024 09:18 21s axel-h:patch-axel-11
August 9, 2024 09:18 21s
elfloader: make check more intuitive
PR #670: Pull request #197 synchronize by axel-h
August 9, 2024 09:08 22s axel-h:patch-axel-26
August 9, 2024 09:08 22s
elfloader: make check more intuitive
PR #669: Pull request #197 synchronize by axel-h
August 9, 2024 09:06 18s axel-h:patch-axel-26
August 9, 2024 09:06 18s
trivial: style fix for autopep8 version bump
PR #668: Pull request #206 opened by lsf37
August 9, 2024 07:53 25s style-fix
August 9, 2024 07:53 25s
cmake: use quotes
PR #667: Pull request #199 synchronize by lsf37
August 9, 2024 05:42 1m 27s axel-h:patch-axel-27
August 9, 2024 05:42 1m 27s
misc: check that astyle exists
PR #665: Pull request #204 synchronize by Ivan-Velickovic
July 15, 2024 04:33 22s check_for_astyle
July 15, 2024 04:33 22s
misc: check that astyle exists
PR #664: Pull request #204 opened by Ivan-Velickovic
July 15, 2024 02:28 23s check_for_astyle
July 15, 2024 02:28 23s
cmake: use quotes
PR #663: Pull request #199 synchronize by axel-h
July 2, 2024 14:07 5m 20s axel-h:patch-axel-27
July 2, 2024 14:07 5m 20s
elfloader/riscv: always pass hart/core information
PR #662: Pull request #194 synchronize by axel-h
July 2, 2024 14:07 4m 28s axel-h:patch-axel-23
July 2, 2024 14:07 4m 28s
improve CPIO creation
PR #661: Pull request #151 synchronize by axel-h
July 2, 2024 14:07 2m 34s Hensoldt-Cyber:patch-axel-10
July 2, 2024 14:07 2m 34s
elfloader: remove attic compiler parameter
PR #659: Pull request #193 synchronize by axel-h
July 2, 2024 14:06 24s axel-h:patch-axel-21
July 2, 2024 14:06 24s
elfloader: make check more intuitive
PR #658: Pull request #197 synchronize by axel-h
July 2, 2024 14:03 25s axel-h:patch-axel-26
July 2, 2024 14:03 25s
elfloader: avoid redundant calculation
PR #657: Pull request #196 synchronize by axel-h
July 2, 2024 14:03 21s axel-h:patch-axel-25
July 2, 2024 14:03 21s
elfloader: use loop variable as index
PR #656: Pull request #195 synchronize by axel-h
July 2, 2024 14:03 26s axel-h:patch-axel-24
July 2, 2024 14:03 26s