Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
camkes-vm: add builds for petalinux versions (seL4#325)
The vm_minimal application supports different versions of Petalinux. This commit adds builds for each supported version. Signed-off-by: Chris Guikema <[email protected]>
- Loading branch information