Google Git
Sign in
opensecura/scripts/cb8c6fd011f5abd137b128e760c3193bdbc9f5c0
commit
cb8c6fd011f5abd137b128e760c3193bdbc9f5c0
[log] [tgz]
author
June Tate-Gans <jtgans@google.com>
Thu Apr 14 21:19:26 2022 +0000
committer
Gerrit Code Review <noreply-gerritcodereview@google.com>
Thu Apr 14 21:19:26 2022 +0000
tree
4f225edbdf68fdf8985a8a04dcfbda999888a29e
parent
8cc568123c9ca50c5038355eb493c9fc3a0be533 [diff]
parent
6ae4b4b642441c102ef72700763c439cd6642bf6 [diff]
Merge "scripts: use upstream sel4 extensions"
tree: 4f225edbdf68fdf8985a8a04dcfbda999888a29e
  1. thirdparty/
  2. check-iree-commit.sh
  3. create-kshell-socket-port.sh
  4. download-toolchain.sh
  5. download_iree_compiler.py
  6. download_renode.py
  7. fetch-rust-toolchain.sh
  8. generate-renode-port-cmd.sh
  9. generate_renode_configs.sh
  10. install-prereqs.sh
  11. install-rust-toolchain.sh
  12. install-toolchain.sh
  13. install-verible.sh
  14. kgdb.sh
  15. kshell.sh
  16. kupload.sh
  17. launch_renode.py
  18. manage-rust-toolchain.sh
  19. python-requirements.txt
  20. quick_sim.py
  21. run-chip-verilator-sim.sh
  22. run-iree.sh
  23. run-spike-springbok.sh
  24. run-vector-simulation.py
  25. screenrc
  26. start-renode.sh