Google Git
Sign in
opensecura / scripts / d97ad328c021f018f014e4f3ae83c9f52dc74012
commitd97ad328c021f018f014e4f3ae83c9f52dc74012[log] [tgz]
authorCindy Liu <hcindyl@google.com>Tue Feb 21 16:12:29 2023 -0800
committerCindy Liu <hcindyl@google.com>Tue Feb 21 16:12:29 2023 -0800
tree30216bdc48a5f893a47cf108d5d06df10f20244b
parent6c4b4578d783e86277d5ff5460931c4aa8cbc98c [diff]
scripts: Make build environment python3.11 compatible

Debian testing removes python3.10 from their release, while camkes-deps
v0.7.3 is broken with python3.11. Install the camkes-dependent python
modules explicitly to make the build environment python3.11 compatible
so the debian-testing-based CI can build the artifact.

Rodete still uses python3.10 as the default python3, so this CL is a
no-op for developers.

Change-Id: I5856c0fb3f945a55193214a3a7c0f1188fc2c3e0
2 files changed
tree: 30216bdc48a5f893a47cf108d5d06df10f20244b
  1. preupload-hooks/
  2. thirdparty/
  3. bootshell.py
  4. build-camkes.sh
  5. build-sparrow.sh
  6. check-iree-commit.sh
  7. CONTRIBUTING.md
  8. create-kshell-socket-port.sh
  9. download-toolchain.sh
  10. download_iree_compiler.py
  11. download_renode.py
  12. fetch-rust-toolchain.sh
  13. generate-renode-port-cmd.sh
  14. generate_renode_configs.sh
  15. install-buildifier.sh
  16. install-prereqs.sh
  17. install-rust-toolchain.sh
  18. install-toolchain.sh
  19. install-verible.sh
  20. kcargo.sh
  21. kgdb.sh
  22. kmem.sh
  23. kshell.sh
  24. kupload.sh
  25. launch_renode.py
  26. LICENSE
  27. manage-riscv-toolchain.sh
  28. manage-rust-toolchain.sh
  29. python-requirements.txt
  30. quick_sim.py
  31. README.md
  32. run-chip-verilator-sim.sh
  33. run-iree.sh
  34. run-spike-springbok.sh
  35. run-vector-simulation.py
  36. screenrc
  37. start-renode.sh
README.md

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.