Fwd: STM32 ROMINT don't run

Hi,

I want to try the ecos OS. My board come from waveshare, it is based
on stm32f407ig core ( http://www.wvshare.com/product/EVK407I.htm )

After some days I have ecos from CVS compiled. With the configtool I
have created my library with the stm3240 template and i have modified
the startup type to ROMINT

I have a simple thread which blink a led. I can upload the binary file
to the stm32 (i use the last openocd from source and olimex
arm-usb-ocd-h jtag device)

Unfortunately the led don't blink. With gdb i can't break on any
function and the stack seems broken.

The objdump seems ok but i am not a veteran with embeded developpment.

Could you give me some hints, i do not know where to search.. thanks in advance.

This is a gdb output :

(gdb) b cyg_user_start
Breakpoint 1 at 0x80001a2: file plsee.c, line 151.
(gdb) target remote :3333
Remote debugging using :3333
hal_reset_vsr () at
/home/lucky/Devel/PLSee/ecos/ecos-3.0/packages/hal/cortexm/arch/current/src/hal_misc.c:132
132    {
(gdb) c
Continuing.
Note: automatically using hardware breakpoints for read-only addresses.
stm32f4x.cpu -- clearing lockup after double fault

Program received signal SIGINT, Interrupt.
0x00000000 in ?? ()

-- 
Before posting, please read the FAQ: http://ecos.sourceware.org/fom/ecos
and search the list archive: http://ecos.sourceware.org/ml/ecos-discuss