I have a target board with ARM7 series processor. Is it possible to boot the target with Redboot and then download and debug a pSOS image via gdb? -- Before posting, please read the FAQ: http://ecos.sourceware.org/fom/ecos and search the list archive: http://ecos.sourceware.org/ml/ecos-discuss