[U-Boot] GCC/GDB tools for P4080

[Kallol Biswas]

Hello Wolfegang,
                       We are trying to debug an intermittent issue on our
system board that after writing 0xff to Boot Release Register (BRR) in a 8
core p4080 system
all the CPUs do not get started.We see the following output on the console:

CPU up timeout. CPU up mask is 7f should be ff.

We have tried to check all the CPU registers from bdi telnet terminal, but
unable to select any core than core 0.

Do you know what the bdi config file should look like?

Ours is pasted below.

Kallol

[INIT]

;WTLB    0x80000700_0xfe00000a   0x10010000_0xfe00003f   ;1/1:
fe000000->0_fe000000  16MB -I-G- RWXRWX
;WTLB    0x80000900_0xe000000a   0x10020000_0xe000003f   ;1/2:
e0000000->0_e0000000 256MB -I-G- RWXRWX

[TARGET]

CPUTYPE  P4080 0 0
POWERUP     5000                ;start delay after power-up detected in ms
JTAGCLOCK   1                   ;use 8 MHz JTAG clock (16 does not work)
WAKEUP      1000
MMU  XLAT

CPUTYPE  P4080 1 0
STARTUP  HALT
CPUTYPE  P4080 2 0
STARTUP  HALT
CPUTYPE  P4080 3 0
STARTUP  HALT
CPUTYPE  P4080 4 0
STARTUP  HALT
CPUTYPE  P4080 5 0
STARTUP  HALT
CPUTYPE  P4080 6 0
STARTUP  HALT
CPUTYPE  P4080 7 0
;STARTUP  RUN
STARTUP  HALT

[HOST]
PROMPT      p4080>
FILE        u-boot.p4080
FORMAT      ELF
;LOAD        AUTO