Google Git
Sign in
opensecura/scripts/b5af5a8c78135e72e59571a8cbcd38c86ba499b7
commit
b5af5a8c78135e72e59571a8cbcd38c86ba499b7
[log] [tgz]
author
Marcin Witkowski <mwitkowski@antmicro.com>
Thu Feb 17 16:29:45 2022 +0100
committer
Marcin Witkowski <mwitkowski@antmicro.com>
Thu Feb 17 16:29:45 2022 +0100
tree
08f78e6d975d399fbedecf741e17d73ada24d63e
parent
2be64e116c7bd66805619a2f814ee841c2a2802d [diff]
scripts: load sel4 extensions in kgdb.sh

Change-Id: I84a4161ddcaf0e036eb6b9ff4664a78d7dc0c279
1 file changed
tree: 08f78e6d975d399fbedecf741e17d73ada24d63e
  1. check-iree-commit.sh
  2. create-kshell-device.sh
  3. download-toolchain.sh
  4. download_iree_compiler.py
  5. download_renode.py
  6. generate-renode-port-cmd.sh
  7. generate_renode_configs.sh
  8. install-prereqs.sh
  9. install-rust-toolchain.sh
  10. install-toolchain.sh
  11. kgdb.sh
  12. kshell.sh
  13. kupload.sh
  14. launch_renode.py
  15. python-requirements.txt
  16. quick_sim.py
  17. run-iree.sh
  18. run-vector-simulation.py
  19. screenrc
  20. start-renode.sh