1load_base_board_description "unix"
2
3# Set hostname and username. # Make sure SSH keys are set up prior to run.
4set_board_info hostname $env(DEJAGNU_HOSTNAME)
5set_board_info username root
6
7set_board_info shell_prompt "dejagnu>"
8set_board_info rsh_prog "$env(DEJAGNU_SCRIPTS)/dejagnu_ssh"
9set_board_info rcp_prog "$env(DEJAGNU_SCRIPTS)/dejagnu_scp"
10
11