mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-22 13:02:56 +01:00
With the new run tool, there is no more is_qemu_available function. However, some scripts still try to use it because only frequently used scripts were updated by now. The commit replaces the function calls with the new 'have_include power_on/qemu' check. Ref #1419