search

seL4 / camkes-vm

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

Testing CI runs for ZCU102 hardware #124

Closed axel-h closed 9 months ago

axel-h commented 9 months ago

Test with: https://github.com/seL4/camkes-vm-examples/pull/57

This uses https://github.com/seL4/ci-actions/pull/319 related: https://github.com/seL4/camkes-vm-images/pull/7

axel-h commented 9 months ago

This is obsolete now, ZCU102 checks are done in https://github.com/seL4/camkes-vm-examples/pull/64