Add hardware testing to check-all

auxoncorp / ferros

A Rust-based userland which also adds compile-time assurances to seL4 development.

https://ferros.auxon.io/

Apache License 2.0

107 stars 11 forks source link

Add hardware testing to check-all #54

Open mullr opened 5 years ago

mullr commented 5 years ago

Adapt qemu-test into something that can run on real hardware as well
Update check-all.sh to run on some piece of real hardware.

mullr commented 5 years ago

Rationale: Cache behavior can differ between ARM implementations, including qemu. It's possible to make changes which appear to be unrelated to this but acutally end up triggering a cache coherency problem.