Google Git
Sign in
opensecura/scripts/6ae4b4b642441c102ef72700763c439cd6642bf6
commit
6ae4b4b642441c102ef72700763c439cd6642bf6
[log] [tgz]
author
Marcin Witkowski <mwitkowski@antmicro.com>
Thu Apr 14 17:27:08 2022 +0200
committer
Marcin Witkowski <mwitkowski@antmicro.com>
Thu Apr 14 17:27:08 2022 +0200
tree
acdf919b8f92e293ee2ed3ccc9f2c6606cf758ab
parent
e54eb9fccd33dcd621057460188540fe0bc7ad23 [diff]
scripts: use upstream sel4 extensions

Change-Id: I1012629c5dfa450ee98edb274d2ebf33239c45bf
1 file changed
tree: acdf919b8f92e293ee2ed3ccc9f2c6606cf758ab
  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