platform_device.c improve docs

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>

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