Google Git
Sign in
opensecura / scripts / 3b480339fb1808b1d55503df9fdf8e190907c25f
commit3b480339fb1808b1d55503df9fdf8e190907c25f[log] [tgz]
authorSam Leffler <sleffler@google.com>Wed Nov 22 16:02:54 2023 -0800
committerSam Leffler <sleffler@google.com>Mon Nov 27 15:42:45 2023 -0800
treefbf72671380f96ff708930ef7deb900aff4bf374
parent996c8dc2b30555a1da1bca52cdb22cef335042d9 [diff]
kgdb.sh: fix bitrot

- location of boot_rom.elf
- search path to find boot_rom source code

With the above we can single-step through the boot rom (modulo callouts
to some lowrisc code that doesn't seem to be part of the repo) and into
the upper layers where the sel4_gdb support finds code (with manual
symbol switching).

Change-Id: I7e64a33541323be49069193dce13b530f8d67b97
1 file changed
tree: fbf72671380f96ff708930ef7deb900aff4bf374
  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. python-requirements.txt
  31. quick_sim.py
  32. README.md
  33. run-iree.sh
  34. run-spike-springbok.sh
  35. run-vector-simulation.py
  36. screenrc
  37. start-renode.sh
  38. 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.