Google Git
Sign in
opensecura / scripts / a1d864743a2dbb937753b6b73c5130df219ec4cf
commita1d864743a2dbb937753b6b73c5130df219ec4cf[log] [tgz]
authorCindy Liu <hcindyl@google.com>Fri Aug 16 13:13:40 2024 -0700
committerCindy Liu <hcindyl@google.com>Fri Aug 16 13:15:26 2024 -0700
tree1ddaf4e2df6cb209fc0f2afef111c6da77ee5820
parent822dbabcf09a1bc8b31630d3cf775e2cc1aaf3dc [diff]
prereqs: Add bazel-7.1.2

bazel version is locked to 7.1.2 at
https://github.com/google/mpact-sim/blob/07b997e11d6aafeb3839f5085708907b03a98e64/.bazeliskrc
to build kelvin ISS.

Add bazel 7.1.2 to prepare kelvin ISS update
Bug: 360389557
Test: nop at this moment

Change-Id: I0dc298e89ff8425a8984e4f7098130e5443bad4e
1 file changed
tree: 1ddaf4e2df6cb209fc0f2afef111c6da77ee5820
  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-gerrit-topic.py
  10. download-toolchain.sh
  11. download_iree_compiler.py
  12. download_renode.py
  13. fetch-rust-toolchain.sh
  14. generate-renode-port-cmd.sh
  15. generate_renode_configs.sh
  16. install-buildifier.sh
  17. install-prereqs.sh
  18. install-rust-toolchain.sh
  19. install-toolchain.sh
  20. install-verible.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. nexus-non-interactive-test.sh
  30. nexus_mcu.py
  31. python-requirements.txt
  32. quick_sim.py
  33. README.md
  34. run-iree.sh
  35. run-spike-springbok.sh
  36. run-vector-simulation.py
  37. screenrc
  38. start-renode.sh
  39. update-toolchain-makefile.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.