gem5-shell 319 B

1234567891011121314
  1. #!/usr/bin/env bash
  2. . "$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)/common"
  3. common_gem5=true
  4. while getopts "${common_getopts_flags}" OPT; do
  5. case "$OPT" in
  6. ?)
  7. common_getopts_case "$OPT"
  8. ;;
  9. esac
  10. done
  11. shift "$(($OPTIND - 1))"
  12. common_setup
  13. "${common_gem5_m5term}" localhost "$common_gem5_telnet_port"