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

Marc Glisse marc.glisse at inria.fr
Thu Aug 24 09:31:04 CEST 2023


It seems that uname -p returns aarch64c, configfsf.guess uses that, and 
configfsf.sub gets confused by that, so it should be reported there. Ah, I 
already see at least
https://lists.gnu.org/archive/html/config-patches/2023-08/msg00043.html
so hopefully it will get discussed / solved there.

On Thu, 24 Aug 2023, Paul Zimmermann wrote:

>       Hi,
>
> gmp 6.3.0 does not compile on this machine:
>
> zimmerma at cfarm240:~/gmp-6.3.0 $ ./configure
> checking build system type... Invalid configuration 'aarch64c-unknown-freebsd14.0': machine 'aarch64c-unknown' not recognized
> configure: error: /bin/sh ./config.sub aarch64c-unknown-freebsd14.0 failed
>
> Should I try a specific ABI?
>
> Paul
>
>> Date: Wed, 23 Aug 2023 14:14:47 -0500
>> From: CFarm Annoucements via cfarm-announces
>>  <cfarm-announces at lists.tetaneutral.net>
>> Cc: CFarm Annoucements <cfarm-announces at lists.tetaneutral.net>
>>
>> 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
>> _______________________________________________
>> cfarm-announces mailing list
>> cfarm-announces at lists.tetaneutral.net
>> https://lists.tetaneutral.net/listinfo/cfarm-announces
>>
> _______________________________________________
> gmp-bugs mailing list
> gmp-bugs at gmplib.org
> https://gmplib.org/mailman/listinfo/gmp-bugs
>

-- 
Marc Glisse


More information about the gmp-bugs mailing list