Index: tools/ew.py
===================================================================
--- tools/ew.py	(revision edb57bc6e15358d5e60d694a899002cba9f8acd0)
+++ tools/ew.py	(revision 5f9a52ed111cc3ed54ecadd71a7c90851d19ef8b)
@@ -139,5 +139,8 @@
 		return 'system-x86_64', pc_options(64)
 	elif platform == 'arm32':
-		return 'system-arm', '-M integratorcp'
+		if machine == 'integratorcp':
+			return 'system-arm', '-M integratorcp'
+		elif machine == 'raspberrypi':
+			return 'system-arm', '-M raspi1ap'
 	elif platform == 'arm64':
 		# Search for the EDK2 firmware image
@@ -299,4 +302,6 @@
 	elif cfg['image'] == 'image.boot':
 		cmdline += ' -kernel image.boot'
+	elif cfg['image'] == 'kernel.img@rpi':
+		cmdline += ' -bios boot/image.boot.bin'
 	else:
 		cmdline += ' ' + cfg['image']
@@ -339,5 +344,16 @@
 			'xhci' : False,
 			'tablet' : False
-		}
+		},
+		'raspberrypi' : {
+			'run' : qemu_run,
+			'image' : 'kernel.img@rpi',
+			'audio' : False,
+			'console' : True,
+			'hdd' : False,
+			'net' : False,
+			'tablet' : False,
+			'usb' : False,
+			'xhci' : False
+		},
 	},
 	'arm64' : {