]>
Commit | Line | Data |
---|---|---|
dd3b648e RP |
1 | /* Parameters for VxWorks Intel 960's, for GDB, the GNU debugger. |
2 | Copyright (C) 1986-1991 Free Software Foundation, Inc. | |
3 | Contributed by Cygnus Support. | |
4 | ||
5 | This file is part of GDB. | |
6 | ||
7 | GDB is free software; you can redistribute it and/or modify | |
8 | it under the terms of the GNU General Public License as published by | |
9 | the Free Software Foundation; either version 1, or (at your option) | |
10 | any later version. | |
11 | ||
12 | GDB is distributed in the hope that it will be useful, | |
13 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
14 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
15 | GNU General Public License for more details. | |
16 | ||
17 | You should have received a copy of the GNU General Public License | |
18 | along with GDB; see the file COPYING. If not, write to | |
19 | the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */ | |
20 | ||
21 | #include "tm-i960.h" | |
22 | ||
23 | #define GDBINIT_FILENAME ".vxgdbinit" | |
24 | ||
25 | #define DEFAULT_PROMPT "(vxgdb) " | |
26 | ||
27 | /* We have more complex, useful breakpoints on the target. | |
28 | Amount ip must be decremented by after a breakpoint. */ | |
29 | ||
30 | #define DECR_PC_AFTER_BREAK 0 | |
31 | ||
32 | /* We are guaranteed to have a zero frame pointer at bottom of stack, too. */ | |
33 | ||
34 | #define FRAME_CHAIN_VALID(chain, thisframe) (chain != 0) | |
35 | ||
36 | /* Breakpoint patching is handled at the target end in VxWorks. */ | |
37 | /* #define BREAKPOINT {0x00, 0x3e, 0x00, 0x66} */ | |
38 | ||
39 | /* Not needed, because we don't support core files: | |
40 | #define KERNEL_U_ADDR | |
41 | #define REGISTER_U_ADDR(addr, blockend, regno) | |
42 | */ | |
43 | ||
44 | /* Address of end of stack space. | |
45 | This doesn't matter for VxWorks, because it's only used | |
46 | in manipulation of core files, which we don't support. */ | |
47 | ||
48 | /* #define STACK_END_ADDR (0xfe000000) */ |