Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Allow building a CHERI sdk #4

Closed
3 of 4 tasks
arichardson opened this issue Feb 17, 2016 · 1 comment
Closed
3 of 4 tasks

Allow building a CHERI sdk #4

arichardson opened this issue Feb 17, 2016 · 1 comment

Comments

@arichardson
Copy link
Member

arichardson commented Feb 17, 2016 •
edited
Loading

  • Install host tools into /sdk and fix clang DEFAULT_SYSROOT
  • Add the necessary sysroot files from cheribsd to /sdk/sysroot and fix symlinks
  • Add cheridis utility to sdk
  • Remove unecessary files from sdk
arichardson added a commit that referenced this issue Feb 17, 2016
@arichardson
Install the host system tools to <$OUTPUT_ROOT>/sdk
6e56881 
First step towards building an SDK (#4)
arichardson added a commit that referenced this issue Mar 3, 2016
@arichardson
Install the cross compilation tools in sdk target
63f3a69 
Getting closer to finishing #4
arichardson added a commit that referenced this issue Mar 4, 2016
@arichardson
Add the cheridis binary to the SDK
b5aea8b 
One more step to getting #4 done
arichardson added a commit that referenced this issue Mar 4, 2016
@arichardson
Fix the links in the sysroot
648f2a4 
We should now be creating the same thing as the build_sdk.sh script
with a few extra files

Almost finished #4
@arichardson
Copy link
Member Author

Should be fine

@pig-pig-yang pig-pig-yang mentioned this issue Nov 29, 2021
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@arichardson