CHERIoT-Platform / CHERIoT-Platform/devcontainer

Additional layer(s) with prepackaged RTOS?

Open
#34 1 comment 0 reactions 1 assignee Claimed by @davidchisnall View on GitHub
Dominant language
Dockerfile
Stars
5
Forks
9
Avg merge
3h 33m
Merged PRs (30d)
7

Description

After talking with @gcloughley, I wonder if we should have an additional layer on top of the existing stack that also provides a snapshot of the RTOS and a sensible setting for the `CHERIOT_RTOS_SDK` environment variable we tend to use for `xmake` `include()`-s. It'd remove the need for users to separately clone the RTOS before building their application.

If that seems like a good idea, we might go a step further as well and add an additional layer on top of that with additional board support, either beside the RTOS or landed directly into the RTOS `sdk/boards` and `sdk/includes/platform` directories?)

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.