Google Git
Sign in
opensecura / scripts / cd63445da7b67a8bfdc600c130aa37439c462f16
commitcd63445da7b67a8bfdc600c130aa37439c462f16[log] [tgz]
authorCindy Liu <hcindyl@google.com>Sun Jan 29 12:01:19 2023 -0800
committerCindy Liu <hcindyl@google.com>Sun Jan 29 20:43:06 2023 +0000
tree1b674e96d5af9293bcce1c42317eaa5c04563b28
parent68cf2ae017e09244e43998ab01459916c90e2626 [diff]
scripts: prereqs: Use python3.10 as python3

Debian testing updated to use python3.11 as default, but the system is
stable in python3.10. Force the system to use python3.10 in CI

rotede still uses python3.10 as the default python3, so this should be
a no-op for the developers.

Bug: 267082842
Change-Id: Ib2247346f1d0b7c2a4eea302f3fbbfd5475f0e45
1 file changed
tree: 1b674e96d5af9293bcce1c42317eaa5c04563b28
  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-prereqs.sh
  16. install-rust-toolchain.sh
  17. install-toolchain.sh
  18. install-verible.sh
  19. kcargo.sh
  20. kgdb.sh
  21. kmem.sh
  22. kshell.sh
  23. kupload.sh
  24. launch_renode.py
  25. LICENSE
  26. manage-riscv-toolchain.sh
  27. manage-rust-toolchain.sh
  28. python-requirements.txt
  29. quick_sim.py
  30. README.md
  31. run-chip-verilator-sim.sh
  32. run-iree.sh
  33. run-spike-springbok.sh
  34. run-vector-simulation.py
  35. screenrc
  36. 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.