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