binary-encoding of the context-switching information). (**TBD, Jacob,
separate page? review this para?**)
-# mvendorid/marchid WARL
+# mvendorid/marchid WARL <a name="#mvendor_marchid_warl">
(Summary: the only idea that meets the full requirements. Needs
toolchain backup, but only when the first chip is released)