mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-24 02:51:20 +00:00
It seems Qemu 5.0.0 no longer supports gic_version parameter. Apparently this only worked due to some compat feature that was dropped in Qemu 5.0.0. The replacement which works on both old and new Qemu versions is gic-version. Fixes #3823