mirror of
https://github.com/xemu-project/xemu.git
synced 2026-11-07 14:53:48 +01:00
They are not needed when building user-mode emulators. Reviewed-by: Emmanouil Pitsidianakis <manos.pitsidianakis@linaro.org> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>