Skip to content

Actions: seL4/seL4_tools

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
170 workflow runs
170 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

elfloader: factor out load_dtb() PR #552: Pull request #161 synchronize by axel-h
January 12, 2024 11:15 22s Hensoldt-Cyber:patch-axel-15
Hensoldt-Cyber:patch-axel-15
January 12, 2024 11:15 22s
elfloader: factor out check_hash() PR #551: Pull request #160 synchronize by axel-h
January 12, 2024 11:14 21s Hensoldt-Cyber:patch-axel-14
Hensoldt-Cyber:patch-axel-14
January 12, 2024 11:14 21s
CI: simulation and HW build with LLVM on RISCV PR #550: Pull request #183 opened by axel-h
January 11, 2024 20:02 18s axel-h:patch-axel-22
axel-h:patch-axel-22
January 11, 2024 20:02 18s
morello: Add a new QEMU platform PR #549: Pull request #182 synchronize by heshamelmatary
January 11, 2024 15:30 26s CTSRD-CHERI:pr_morello_aarch64
CTSRD-CHERI:pr_morello_aarch64
January 11, 2024 15:30 26s
morello: Add a new QEMU platform PR #548: Pull request #182 opened by heshamelmatary
January 8, 2024 14:59 25s CTSRD-CHERI:pr_morello_aarch64
CTSRD-CHERI:pr_morello_aarch64
January 8, 2024 14:59 25s
Changes to enable linking with LLVM/lld PR #547: Pull request #173 synchronize by heshamelmatary
November 1, 2023 15:19 32s CTSRD-CHERI:lld
CTSRD-CHERI:lld
November 1, 2023 15:19 32s
github: bump GitHub action versions PR #546: Pull request #180 opened by lsf37
October 26, 2023 04:08 25s gh-node16
gh-node16
October 26, 2023 04:08 25s
elfloader: factor out load_dtb() PR #545: Pull request #161 synchronize by axel-h
October 24, 2023 14:04 45s Hensoldt-Cyber:patch-axel-15
Hensoldt-Cyber:patch-axel-15
October 24, 2023 14:04 45s
elfloader: factor out check_hash() PR #544: Pull request #160 synchronize by axel-h
October 24, 2023 14:04 28s Hensoldt-Cyber:patch-axel-14
Hensoldt-Cyber:patch-axel-14
October 24, 2023 14:04 28s
improve CPIO creation PR #543: Pull request #151 synchronize by axel-h
October 24, 2023 14:04 24s Hensoldt-Cyber:patch-axel-10
Hensoldt-Cyber:patch-axel-10
October 24, 2023 14:04 24s
improve RISC-V multi core boot PR #542: Pull request #132 synchronize by axel-h
October 24, 2023 14:02 23s axel-h:patch-axel-7
axel-h:patch-axel-7
October 24, 2023 14:02 23s
cmake: group arch specific handling PR #541: Pull request #162 synchronize by axel-h
October 24, 2023 14:01 23s axel-h:patch-axel-11
axel-h:patch-axel-11
October 24, 2023 14:01 23s
Fix to allow RocketChip to build PR #540: Pull request #179 opened by Ivan-Velickovic
October 23, 2023 04:25 24s Ivan-Velickovic:rocket-chip-fix
Ivan-Velickovic:rocket-chip-fix
October 23, 2023 04:25 24s
fix: update machine type of Raspberry Pi3b for simulation in QEMU PR #539: Pull request #170 synchronize by Ivan-Velickovic
October 4, 2023 02:41 22s lopzek:master
lopzek:master
October 4, 2023 02:41 22s
elfloader: factor out load_dtb() PR #538: Pull request #161 synchronize by axel-h
September 15, 2023 16:45 26s Hensoldt-Cyber:patch-axel-15
Hensoldt-Cyber:patch-axel-15
September 15, 2023 16:45 26s
elfloader: factor out check_hash() PR #537: Pull request #160 synchronize by axel-h
September 15, 2023 16:43 21s Hensoldt-Cyber:patch-axel-14
Hensoldt-Cyber:patch-axel-14
September 15, 2023 16:43 21s
improve CPIO creation PR #536: Pull request #151 synchronize by axel-h
September 15, 2023 16:43 23s Hensoldt-Cyber:patch-axel-10
Hensoldt-Cyber:patch-axel-10
September 15, 2023 16:43 23s
improve RISC-V multi core boot PR #535: Pull request #132 synchronize by axel-h
September 12, 2023 07:12 22s axel-h:patch-axel-7
axel-h:patch-axel-7
September 12, 2023 07:12 22s
cmake: group arch specific handling PR #534: Pull request #162 synchronize by axel-h
September 12, 2023 07:12 23s axel-h:patch-axel-11
axel-h:patch-axel-11
September 12, 2023 07:12 23s
Change touch to be portable PR #533: Pull request #178 opened by alwin-joshy
September 11, 2023 04:37 21s alwin-joshy:portable_touch
alwin-joshy:portable_touch
September 11, 2023 04:37 21s
elfloader: Add generic-timer driver PR #532: Pull request #168 synchronize by kent-mcleod
September 5, 2023 12:00 32s kent-mcleod:kent/elfloader
kent-mcleod:kent/elfloader
September 5, 2023 12:00 32s
cmake: group arch specific handling PR #531: Pull request #162 synchronize by axel-h
August 30, 2023 12:35 26s axel-h:patch-axel-11
axel-h:patch-axel-11
August 30, 2023 12:35 26s
improve RISC-V multi core boot PR #530: Pull request #132 synchronize by axel-h
August 30, 2023 12:35 25s axel-h:patch-axel-7
axel-h:patch-axel-7
August 30, 2023 12:35 25s
Rocket chip fix PR #528: Pull request #177 synchronize by Furao
August 25, 2023 16:03 26s dornerworks:rocket-chip-fix
dornerworks:rocket-chip-fix
August 25, 2023 16:03 26s
Rocket chip fix PR #527: Pull request #177 opened by Furao
August 25, 2023 15:52 22s dornerworks:rocket-chip-fix
dornerworks:rocket-chip-fix
August 25, 2023 15:52 22s