search

seL4 / camkes-vm

Virtual Machine built as a CAmkES component.
Other
23 stars 35 forks source link

trivial: add petalinx version for hw-tests #118

Closed chrisguikema closed 9 months ago

chrisguikema commented 9 months ago

Test with: https://github.com/seL4/ci-actions/pull/313

axel-h commented 9 months ago

This hack might be able to test it: https://github.com/seL4/camkes-vm/pull/120

chrisguikema commented 9 months ago

thanks, axel. That's perfect!