Update sonata-software
to use the latest upstream cheriot-rtos
#64
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
DO NOT MERGE THIS PR. It currently points CHERIoT RTOS onto a local branch, which is just the
sonata
branch rebased on top of the latest upstreamcheriot-platform/cheriot-rtos:main
with a few minor changes to our local updates to match the current upstreaming efforts. This PR will be ready for review and can be merged when this branch has been written to our localsonata
branch on thelowrisc/cheriot-rtos
fork, and the first commit has been changed to point to that version.Updates
sonata-software
to use the latest upstream RTOS changes, including general RTOS improvements as well as updated drivers (e.g. PWM and Pinmux) which offer more fine-grained compartmentalisation and isolation of MMIO capabilities, for developing software that is more secure. This requires some minimal changes to the example code and documentation that lives inside this repository.This has been tested to work with the existing demos/examples on the 1.0 bitstream.