| commit | 72e184d4f9bca969fdc9aa234f0717c954f3e432 | [log] [tgz] |
|---|---|---|
| author | June Tate-Gans <jtgans@google.com> | Fri Oct 27 16:18:51 2023 +0000 |
| committer | June Tate-Gans <jtgans@google.com> | Fri Oct 27 16:18:51 2023 +0000 |
| tree | 5765f95ac7e033e2a7e350dd27a2e1ff8109dfa2 | |
| parent | 65a541d680525f03e7d8fc253da69be26e82e154 [diff] |
sel4: Move sel4 kernel and libs to 3p We've made changes to these repositories, but they're still 3p code primarily. Move over to the 3p moniker to reduce automated security complaints on code we can't directly influence. Change-Id: Ieecf6940a3fe5bcb2e6d4c7fa9e8cfcf5393bd5a
Open Se Cura is a project to build a low-power secure embeded platform for Ambient ML applications. The target platform leverages RISC-V and OpenTitan.
The Open Se Cura software includes a home-grown operating system named CantripOS, that runs on top of seL4 and (ignoring the seL4 kernel) is written almost entirely in Rust.
The Open Se Cura (and CantripOS) are definitely a work in progress. The CantripOS components are based on an augmented version of seL4's CAmkES framework. Critical system services are CAmkES components that are statically configured. Applications are developed using an AmbiML-focused SDK and dynamically loaded by the system services.
Open Se Cura consists of multiple git repositories stitched together with the repo tool. The following git repositories are currently available:
Our primary development environment uses Renode for simulation of the Open Se Cura hardware design. Renode allows us to do rapid software/hardware co-design of our multi-core RISC-V target platform. The software environment is derived from those provided by seL4 & OpenTitan. Debugging leverages Renode facilites and gdb talking to Renode for system software and application developement.
This repository includes a multi-platform build framework for use with the Open Se Cura software. This framwork leverages make, cmake, and cargo. To get started follow these download steps to clone the Open Se Cura project from repo using the repo tool We assume below this lands in a top-level directory named “opensecura”.
mkdir opensecura cd opensecura repo init -u https://opensecura.googlesource.com/manifest repo sync -j$(nproc)
See the top-level GettingStarted.md for more detail once you download the repository with repo sync
Every file containing source code includes copyright and license information. For dependent / non-Google code these are inherited from the upstream repositories. If there are Google modifications you may find the Google Apache license found below.
Apache header:
Copyright 2023 Google LLC
Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at
https://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.