-
Notifications
You must be signed in to change notification settings - Fork 46
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fails to build on CheriBSD 14.0 on Morello platform #350
Comments
The problem is that it’s defaulting to the native ABI for LLVM, which is purecap, but LLVM cannot be built as purecap yet. Though I do have to question why you want to do this, I can’t see a good reason for cross-compiling from a Morello system, any modern half-decent desktop or laptop will likely be faster (and not because of CHERI, just because the underlying core stems from one that’s designed to scale out, but Morello only has four of them). @arichardson I thought we had native-hybrid targets to deal with this kind of thing? |
Hi, I'm a beginner here and just trying to follow the examples at https://ctsrd-cheri.github.io/cheri-exercises/ I didn't realise it wouldn't work on the Morello. Looking at the text on the intro: "You can use our cheribuild tool to build the CHERI-RISC-V SDK, CheriBSD, and QEMU on macOS, FreeBSD, and Linux." I equated FreeBSD with CheriBSD but it seems that isn't the case. I can try again with Ubuntu - do you know of any restrictions here? I have Ubuntu 20.0.4 handy. |
If you just want to build the exercises on a Morello box, make sure you've run |
Fails to build on a Morello board running CheriBSD 14.0. The script fails initially with missing dependencies:
After installing these as suggested by the script, it then runs for a while then fails with compilation errors.
The following shows the problems with the missing dependencies and what I installed to get round them:
At this point the script got to work but eventually failed. Log below.
The text was updated successfully, but these errors were encountered: