use KernelFWholeProgram on RISC-V also · seL4/sel4bench@c59d481

Triggered via pull request April 18, 2024 11:58

axel-h

opened #48

Status Success

Total duration 39m 30s

Artifacts 14

sel4bench-pr.yml

on: pull_request_target

Matrix: Build

Matrix: HW Run

Produced during runtime

Name	Size
images-armv7a Expired	14.6 MB
images-armv8a Expired	38.2 MB
images-nehalem Expired	6.91 MB
images-rv64imac Expired	5.5 MB
sel4bench-results-am335x_boneblack Expired	37.5 KB
sel4bench-results-hifive Expired	58 KB
sel4bench-results-imx8mm_evk Expired	93 KB
sel4bench-results-odroid_c2 Expired	34.3 KB
sel4bench-results-odroid_xu4 Expired	40.3 KB
sel4bench-results-pc99-haswell3 Expired	161 KB
sel4bench-results-pc99-skylake Expired	163 KB
sel4bench-results-sabre Expired	86.5 KB
sel4bench-results-tx1 Expired	49.3 KB
sel4bench-results-tx2 Expired	52.3 KB