1 # Copyright
(C
) 2020 Free Software Foundation
, Inc.
3 # This file is part of DejaGnu.
5 # DejaGnu is free software
: you can redistribute it and
/or modify it
6 # under the terms of the GNU General Public License as published by
7 # the Free Software Foundation
, either version
3 of the License
, or
8 #
(at your option
) any later version.
10 # DejaGnu is distributed in the hope that it will be useful
, but
11 # WITHOUT
ANY WARRANTY
; without even the implied warranty of
12 # MERCHANTABILITY or FITNESS
FOR A PARTICULAR PURPOSE. See the GNU
13 # General Public License
for more details.
15 # You should have received a copy of the GNU General Public License
16 # along with DejaGnu.
If not
, see
<http
://www.gnu.org
/licenses
/>.
18 set_board_info compiler
"[find_gcc]"
20 load_generic_config
"gdbserver"
22 process_multilib_options
""
24 # The default compiler
for this target.
25 set_board_info compiler
"[find_gcc]"
27 set_board_info rsh_prog
/usr
/bin
/ssh
28 set_board_info rcp_prog
/usr
/bin
/scp
29 set_board_info protocol standard
30 set_board_info hostname pi
32 # We will be using the standard GDB remote protocol
33 set_board_info gdb_protocol
"remote"
35 # Path to the gdbserver executable
, use the one
on the board
36 set_board_info gdb_server_prog
"/usr/bin/gdbserver"
38 #
Name of the computer whose socket will be used
, if required.
39 set_board_info gdb
,sockethost
"pi:"
41 # Port ID to use
for socket connection
42 # set_board_info gdb
,socketport
"4004"
44 # Use techniques appropriate to a stub
45 set_board_info use_gdb_stub
1
47 # This gdbserver can only run a process once per session.
48 set_board_info gdb
,do_reload_on_run
1
50 # There
's no support for argument-passing (yet).
51 set_board_info noargs 1
53 # Can't
do input
(or output
) in the current gdbserver.
54 set_board_info gdb
,noinferiorio
1
56 # Can
't do hardware watchpoints, in general
57 set_board_info gdb,no_hardware_watchpoints 1
59 # statically link the test case executables
60 set_board_info ldflags "-static"