From cedb942147520b15abe45efdda9e8bdb5da9a5e6 Mon Sep 17 00:00:00 2001
From: Ciro Santilli <ciro.santilli@gmail.com>
Date: Sun, 9 Jul 2017 12:15:00 +0100
Subject: [PATCH] Improve dummy-irq doc a bit

---
 kernel_config_fragment | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/kernel_config_fragment b/kernel_config_fragment
index 17de866..932afa4 100644
--- a/kernel_config_fragment
+++ b/kernel_config_fragment
@@ -109,7 +109,7 @@ CONFIG_GPIOLIB=y
 CONFIG_GPIO_SYSFS=y
 CONFIG_GPIO_PL061=y
 
-# run -a arm
+#     run -a arm
 #
 # In target:
 #
@@ -121,6 +121,7 @@ CONFIG_GPIO_PL061=y
 #     lkmc_platform_device_write offset=0 value=12345678 size=4
 #     dummy-irq: interrupt occurred on IRQ 34
 #
-# When the device generates an IRQ,
-# the dummy module also snoops it.
+# When the device generates an IRQ, the dummy module also snoops it.
+#
+# The IRQ number 34 was found by via dmesg on a previous "insmod /platform_device.ko".
 CONFIG_DUMMY_IRQ=m