From cfarm-announces at lists.tetaneutral.net Wed Aug 23 21:14:47 2023 From: cfarm-announces at lists.tetaneutral.net (CFarm Annoucements) Date: Wed, 23 Aug 2023 14:14:47 -0500 Subject: [cfarm-announces] New Arm Morello SoC machine: cfarm240 Message-ID: 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