Clone this repo:

Branches

  1. 20bdd1a Merge "scripts: temporarily pull cheriot-llvm from my GH v17 merge branch" by Sam Leffler · 35 hours ago master
  2. d63a785 scripts: temporarily pull cheriot-llvm from my GH v17 merge branch by Sam Leffler · 4 months ago
  3. 4aaf59f Update tfnightly to 2.19.0.dev20241106 by Michael Hoang · 13 days ago
  4. 5ec980c Remove nexus-non-interactive-test.sh by Matthew Wilson · 2 months ago
  5. c41ac1b add rustc to apt prerequisites by Matthew Wilson · 3 months ago

Project Shodan Scripts

Shodan is a project to build a low-power secure embeded platform for Ambient ML applications. The target platform leverages RISC-V and OpenTitan.

This directory holds scripts used in developing Shodan:

  • build-sparrow.sh: a script to demonstrate how to build and run seL4 CAmkES tests
  • kcargo.sh: a wrapper script that shows how Rust is run in the Shodan developement environment

[more scripts will appear here as more of the project is released]

Source Code Headers

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 2022 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.