It would be useful to add some brief Qemu build and execution instructions to the cross-compilation page, so that these are more easily used outside of the FETT environment. This shouldn't be a full CHERI guide, but a couple of cheribuild command lines and a brief instruction or two about logging in, etc., should do the trick, since we assume the reader is pretty clued up already with respect to systems programming and architecture before they start.
It would be useful to add some brief Qemu build and execution instructions to the cross-compilation page, so that these are more easily used outside of the FETT environment. This shouldn't be a full CHERI guide, but a couple of cheribuild command lines and a brief instruction or two about logging in, etc., should do the trick, since we assume the reader is pretty clued up already with respect to systems programming and architecture before they start.