mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-01 16:42:06 +00:00
* read out supported number of CPUs * start per CPU a thread * monitor by main thread liveness of remote CPU threads * add a round variable * terminate run script after a specific round or after 90s * on qemu wait 5 rounds, on native runs 40 Add run script to autopilot list Issue #814