[cfarm-announces] New Arm Morello SoC machine: cfarm240

[CFarm Annoucements]

The Compile Farm project is pleased to announce the immediate
availability of cfarm240, an Arm Morello SoC [1] prototype board
running CheriBSD (a FreeBSD derivative).

This system-on-chip research platform [2] features a custom
quad-core aarch64 Neoverse N1-based CPU implementing CHERI [3]
(a memory protection model), and has 32GB system memory. Disk
space is limited (~200GB); be mindful of your resource usage.

We are still in the process of transitioning to our new domain
name and website; please SSH to cfarm240.cfarm.net.

Notes:

  * Morello boards are the only physical implementation of this
    ISA; lessons learned will be carried to future Arm extensions,
    so binary compatibility with Morello is not guaranteed.

  * You will want to read about packages [4].

  * If you need help with CHERI-specific problems (not Compile
    Farm issues), consider joining their Slack [5].

Thank you to the University of Cambridge for hosting
(and developing) this machine!


[1]: https://www.arm.com/architecture/cpu/morello
[2]: https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-morello.html
[3]: https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/
[4]: https://ctsrd-cheri.github.io/cheribsd-getting-started/packages/index.html
[5]: https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-slack.html