Tweak monitor interrupt to match logic diagram.
Add a copy of the thesis appendix on firmware logic.