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))" \