From 0ca7adad06215cb05ff448f0aaa2b9bec7d6f339 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ole=20Andr=C3=A9=20Vadla=20Ravn=C3=A5s?=
 <oleavr@nowsecure.com>
Date: Wed, 1 Jul 2015 17:55:06 +0200
Subject: [PATCH] =?UTF-8?q?Display=20=E2=80=9CKernel=E2=80=9D=20instead=20?=
 =?UTF-8?q?of=20pid=200?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/frida/repl.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/frida/repl.py b/src/frida/repl.py
index 9607f28..5a0522f 100644
--- a/src/frida/repl.py
+++ b/src/frida/repl.py
@@ -265,7 +265,10 @@ def main():
         def _create_prompt(self):
             device_type = self._device.type
             type_name = self._target[0]
-            target = self._target[1]
+            if self._target[0] == 'pid' and self._target[1] == 0:
+                target = 'Kernel'
+            else:
+                target = self._target[1]
 
             if device_type in ('local', 'remote'):
                 if self._target[0] == 'name':