chiark / gitweb /
Add a pile of debug output around the CPU dispatching machinery.
authorMark Wooding <mdw@distorted.org.uk>
Wed, 18 May 2016 09:29:03 +0000 (10:29 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Wed, 18 May 2016 19:12:23 +0000 (20:12 +0100)
Report on finding things in the environment, progress on runtime probes,
and the decisions about which implementations we pick.  Decision-making
isn't time-critical, so this is left in permanently.


No differences found