Skip to content

Actions: seL4/seL4_tools

Actions

seL4Test-HW

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sel4test-hw.yml
200 workflow runs
200 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Fix RISC-V compilation with recent GCC seL4Test-HW #137: Pull request #171 synchronize by wom-bat
July 13, 2023 09:37 5s
July 13, 2023 09:37 5s
Fix RISC-V compilation with recent GCC seL4Test-HW #136: Pull request #171 synchronize by wom-bat
July 13, 2023 09:32 10s
July 13, 2023 09:32 10s
Fix RISC-V compilation with recent GCC seL4Test-HW #135: Pull request #171 opened by wom-bat
July 13, 2023 09:07 11s
July 13, 2023 09:07 11s
fix: update machine type of Raspberry Pi3b for simulation in QEMU seL4Test-HW #134: Pull request #170 opened by lopzek
June 27, 2023 04:02 4s
June 27, 2023 04:02 4s
cmake: group arch specific handling seL4Test-HW #133: Pull request #162 synchronize by axel-h
June 15, 2023 00:19 5s
June 15, 2023 00:19 5s
improve RISC-V multi core boot seL4Test-HW #132: Pull request #132 synchronize by axel-h
June 15, 2023 00:15 5s
June 15, 2023 00:15 5s
improve RISC-V multi core boot seL4Test-HW #131: Pull request #132 synchronize by axel-h
June 15, 2023 00:02 7s
June 15, 2023 00:02 7s
elfloader: Add generic-timer driver seL4Test-HW #130: Pull request #168 synchronize by kent-mcleod
June 1, 2023 08:20 5s
June 1, 2023 08:20 5s
rpi4: set default elfloader settings for aarch32 seL4Test-HW #129: Pull request #157 synchronize by kent-mcleod
June 1, 2023 08:15 8s
June 1, 2023 08:15 8s
elfloader: Add generic-timer driver seL4Test-HW #128: Pull request #168 synchronize by kent-mcleod
May 30, 2023 07:16 9s
May 30, 2023 07:16 9s
elfloader: Add generic-timer driver seL4Test-HW #127: Pull request #168 opened by kent-mcleod
May 30, 2023 07:06 8s
May 30, 2023 07:06 8s
Set RPi4B builds to produce binary images seL4Test-HW #126: Pull request #167 opened by Ivan-Velickovic
May 30, 2023 06:16 10s
May 30, 2023 06:16 10s
rpi4: set default elfloader settings for aarch32 seL4Test-HW #125: Pull request #157 synchronize by kent-mcleod
May 25, 2023 12:37 10s
May 25, 2023 12:37 10s
elfloader/loongarch: add support for loongarch and run on the loongson seL4Test-HW #124: Pull request #156 synchronize by ChenYangng
May 22, 2023 08:57 5s
May 22, 2023 08:57 5s
Rename/rework UseRiscVOpenSBI option seL4Test-HW #123: Pull request #166 reopened by axel-h
May 14, 2023 21:59 4s
May 14, 2023 21:59 4s
cmake: group arch specific handling seL4Test-HW #122: Pull request #162 synchronize by axel-h
May 7, 2023 21:47 4s
May 7, 2023 21:47 4s
improve RISC-V multi core boot seL4Test-HW #121: Pull request #132 synchronize by axel-h
May 7, 2023 21:45 4s
May 7, 2023 21:45 4s
elfloader: factor out load_dtb() seL4Test-HW #120: Pull request #161 synchronize by axel-h
May 7, 2023 21:36 7h 6m 7s
May 7, 2023 21:36 7h 6m 7s
elfloader: factor out load_dtb() seL4Test-HW #119: Pull request #161 labeled by axel-h
May 4, 2023 16:41 1h 10m 8s
May 4, 2023 16:41 1h 10m 8s
elfloader: factor out load_dtb() seL4Test-HW #118: Pull request #161 labeled by axel-h
May 4, 2023 16:41 4s
May 4, 2023 16:41 4s
elfloader: factor out load_dtb() seL4Test-HW #117: Pull request #161 labeled by axel-h
May 4, 2023 16:41 1h 17m 29s
May 4, 2023 16:41 1h 17m 29s
improve CPIO creation seL4Test-HW #116: Pull request #151 synchronize by axel-h
May 4, 2023 16:36 5s
May 4, 2023 16:36 5s
elfloader: factor out load_dtb() seL4Test-HW #115: Pull request #161 synchronize by axel-h
May 4, 2023 16:33 9s
May 4, 2023 16:33 9s
elfloader: factor out check_hash() seL4Test-HW #114: Pull request #160 synchronize by axel-h
May 4, 2023 16:33 11s
May 4, 2023 16:33 11s
Add dry run option to simulate script seL4Test-HW #113: Pull request #163 synchronize by Ivan-Velickovic
May 2, 2023 23:49 4s
May 2, 2023 23:49 4s