tree 333c8fb34fc1b9474b77709eaf899c5c9e6cf1aa
parent 260975de59b80acaa520c627dcc47e25b3be3713
parent 8580c476a182f0cdd8355b7f07ffd00542ad30f6
author bors[bot] <26634292+bors[bot]@users.noreply.github.com> 1592409898 +0000
committer GitHub <noreply@github.com> 1592409898 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJe6j8qCRBK7hj4Ov3rIwAAdHIIAHs5SbeaJ545niLXUvDgnkm+
 bJtUPISAwx7sKVhKZxXv4SioV3s3PJgJHOtfygZWAn+nSnQxBmkoQXp+CkfmqnnR
 c1kBuwDIPErvhFk2z61DChQzXWygFG47jKSuFp3eNgAFniowWDM5K0J9hFYTVzV7
 /43GzHMuqc0sax5CMGgIpozWpupXBvpQwf+svuI+YxV42lpoNITiDgFQbkmSGB3l
 VEIAiyiSslPIbo9M7Mfe1dcWJXTnjr5+IEtJWajVSi6lbG8BUKF3G5vOdLpxTkHi
 z2muYvgyStNJb3aYOV7iGxCD2htPAzisH+rfLoPA42X4PgLSg7n+HqFmg6xhQ9c=
 =NsKt
 -----END PGP SIGNATURE-----
 

Merge #199

199: Add the QEMU test invocation to `make test` r=jrvanwhy a=jrvanwhy

Prior to this PR, there was no easy way to run `libtock_test` in QEMU. It was run as part of the Travis CI checks, but not `make test`. This PR moves that functionality into the Makefile, so that `make test` runs the QEMU tests.

Main changes in this PR:

1. Added a tock submodule pointing to the kernel version the tests are run against. This submodule is used to build Tock kernels for testing.
1. Tweaked the README to clarify that the Tock submodule has its own license (although it matches libtock-rs' license).
1. Added `make setup-qemu`, automatically run as part of `make qemu`, which compiles QEMU in a new `build` directory. This shouldn't touch the host system, although you need QEMU's dependencies for it to succeed.
1. Tweaked `test-runner` to use the QEMU and Tock kernel built by `make setup-qemu` and `make kernel-hifive`.
1. Added `test-qemu-hifive` to run `libtock_test` on an emulated hifive.
1. Added `test-qemu-hifive` as a dependency of `test` so that `make test` runs both sets of tests
1. Replaced `make examples` with a dependency on the examples, so that running parallel make jobs works correctly.

Co-authored-by: Johnathan Van Why <jrvanwhy@google.com>