search

seL4 / sel4bench

sel4 benchmarking applications and support library.
Other
18 stars 30 forks source link

dummy PR to run CI test for updating OpenSBI #38

Closed axel-h closed 1 year ago

axel-h commented 1 year ago

dummy PR to run CI test for updating OpenSBI, see seL4/sel4test-manifest#20

Test with: https://github.com/axel-h/opensbi/pull/1

lsf37 commented 1 year ago

Closing, because we can't upgrade yet (see also https://github.com/seL4/sel4test-manifest/pull/20)