From 05fa0105eaccf37d6a675f9b2bae833fd78d4270 Mon Sep 17 00:00:00 2001
From: Ciro Santilli <ciro.santilli@gmail.com>
Date: Sat, 8 Jul 2017 09:54:40 +0100
Subject: [PATCH] platform_device.c improve docs

---
 kernel_module/platform_device.c | 9 +++++++++
 run                             | 1 +
 2 files changed, 10 insertions(+)

diff --git a/kernel_module/platform_device.c b/kernel_module/platform_device.c
index f7f7766..a5e04d5 100644
--- a/kernel_module/platform_device.c
+++ b/kernel_module/platform_device.c
@@ -1,3 +1,12 @@
+/*
+Only works for ARM.
+
+Expected outcome after insmod:
+
+- QEMU reports MMIO with printfs
+- IRQs are generated and handled by this module, which logs to dmesg
+*/
+
 #include <linux/init.h>
 #include <linux/interrupt.h>
 #include <linux/io.h>
diff --git a/run b/run
index cb034a2..348f123 100755
--- a/run
+++ b/run
@@ -37,6 +37,7 @@ cat ../buildroot_config_fragment >> "${outdir}/.config"
 # https://stackoverflow.com/questions/44341188/how-to-pass-extra-custom-configure-autotools-options-to-a-buildroot-package/44341225#44341225
 env \
   -u LD_LIBRARY_PATH \
+  time \
   make \
   O="$outdir" \
   BR2_JLEVEL="$(($(nproc) - 2))" \