Make sure gui_key_modifier_pressed is cleared correctly.

[qemu] / vl.c

diff --git a/vl.c b/vl.c
index 8d1fa37..e0406ea 100644 (file)
--- a/vl.c
+++ b/vl.c
@@ -4435,7 +4435,8 @@ void register_machines(void)
     qemu_register_machine(&sun4m_machine);
 #endif
 #elif defined(TARGET_ARM)
-    qemu_register_machine(&integratorcp_machine);
+    qemu_register_machine(&integratorcp926_machine);
+    qemu_register_machine(&integratorcp1026_machine);
 #else
 #error unsupported CPU
 #endif