Change QEMU settings that affect programmable timer interrupt delivery.
@@ -66,7 +66,7 @@ class QEMU(Launchable):
'-device', 'VGA',
'-machine', 'malta',
'-cpu', '24Kf',
- '-icount', 'shift=auto,sleep=on',
+ '-icount', 'shift=3,sleep=on',
'-kernel', kwargs['kernel'],
'-append', kwargs['args'],
'-gdb', 'tcp::%d' % kwargs['gdb_port'],
