Document educational hardware models on toplevel

README.adoc

@@ -1470,6 +1470,17 @@ And the output is `0`.
 
 Our setup does not allow for snapshotting while using <<initrd>>.
 
+== Educational hardware models
+
+We have added and interacted with a few educational hardware models in QEMU.
+
+This is useful to learn:
+
+* how to create new hardware models for QEMU. Overview: https://stackoverflow.com/questions/28315265/how-to-add-a-new-device-in-qemu-source-code
+* how the Linux kernel interacts with hardware
+
+To get started, have a look at the "Hardware device drivers" secion under link:kernel_module/README.adoc[], and try to run those modules, and then grep the QEMU source code.
+
 == gem5
 
 gem5 is a system simulator, much <<gem5-vs-qemu,like QEMU>>: http://gem5.org/
@@ -1985,7 +1996,7 @@ And a second instance:
 ./gem5-shell 1
 ....
 
-TODO Now we just need to network them up to have some more fun!
+TODO Now we just need to network them up to have some more fun! See dist-gem5: http://publish.illinois.edu/icsl-pdgem5/
 
 === gem5 and QEMU with the same kernel configuration