Just a note, in case this has missed discussion out here (didn't find
any references on the mailing list via Google search).
Some of you might be aware of the CHERI project [1] to enhance security
of computer systems from the hardware level up through the software stack.
They had moved away from MIPS to ARM which lead to the creation of the
Morello program [2].
Morello boards are available [3] upon request.
Best regards,
~Mayuresh
1. https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/
2. https://www.arm.com/architecture/cpu/morello
3. https://www.dsbd.tech/get-involved/morello-board-request/
