sel4bench icon indicating copy to clipboard operation
sel4bench copied to clipboard

Published 20 hours ago • verified publisher icon seL4

bench/risc-v: apps/fault fails to build

Open malus-brandywine opened this issue 3 years ago • 1 comments

Fault benchmark apps/fault fails to build for RISC-V (undefined reference)

malus-brandywine avatar Feb 17 '22 21:02 malus-brandywine

See also discussion at https://github.com/seL4/sel4bench/pull/20#issuecomment-1043436405 and https://github.com/seL4/ci-actions/pull/215

axel-h avatar Feb 17 '22 21:02 axel-h