mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01: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