binary-encoding of the context-switching information). (**TBD, Jacob,
separate page? review this para?**)
-# mvendorid/marchid WARL <a name="#mvendor_marchid_warl" />
+# mvendorid/marchid WARL <a name="#mvendor_marchid_warl"></a>
(Summary: the only idea that meets the full requirements. Needs
toolchain backup, but only when the first chip is released)
hardware-level ISA support to not be permitted to receive RISC-V
Certification Compliance.
-# ioctl-like <a name="#ioctl-like" />
+# ioctl-like <a name="#ioctl-like"></a>
(Summary: good solid orthogonal idea. See [[ioctl]] for full details)