Index: tools/ew.py
===================================================================
--- tools/ew.py	(revision 02fe42eab26cc91005346883f5d0a8462d0ef248)
+++ tools/ew.py	(revision e9f777849501b0c10d0b410bb5ecff4e6a4299c6)
@@ -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' : {