Google Git
Sign in
opensecura/scripts/4f966785987fd70434d0e82ff983ff56db214c45
commit
4f966785987fd70434d0e82ff983ff56db214c45
[log] [tgz]
author
Marcin Witkowski <mwitkowski@antmicro.com>
Fri Apr 15 16:51:15 2022 +0200
committer
Marcin Witkowski <mwitkowski@antmicro.com>
Fri Apr 15 16:51:15 2022 +0200
tree
3648b3d13803b04c4251ae0c5bee302297decbf8
parent
cb8c6fd011f5abd137b128e760c3193bdbc9f5c0 [diff]
sim:config: use old SyscallId for seL4_DebugNameThread

Change-Id: Ie692ff2c2a061a2a7bb96b09cf5fbabb9f37041b
1 file changed
tree: 3648b3d13803b04c4251ae0c5bee302297decbf8
  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