Anyone knows of any Cortex-A9 development boards?

We've been using TI's Panda board but it seems to give us quite a bit of trouble. As a result we can't profile the information that we would like. Does anyone know of any other development boards out...
PL031 verilog generation

Note: This was originally posted on 19th February 2009 at http://forums.arm.com Pls, I need an answer to a blocking issue I tried to generate a verilog code for PL031 connection matrix 2x3. Unfortunely...
My application code is not working when i load its bin file through uart into the flash and jump to the address of the application code (custom bootloader)

In custom bootloader when i am jumping to application code my msp value is changing after loading the bin file , for example my application has msp value 0x20000D0 but when i load the...
Does anyone knows why a documentation as ARM DSU 0030 is only available for licensees

Hello, does anyone understands why a document like the ARM DSU 0030 Technical Reference Manual Supplement System Memory Management Unit ( MMU-500) is for licensees only? This Supplement describes...
Does anyone have instructions for how to setup for developing ARM based applications on OS X?

I am interested in learning the ARM system and embedded programming but exclusively use a MAC with OS X. Does anyone have or know of how to get and IDE set up and running on OS X?