Fiasco at ARM - supported hardware

[Adam Lackorzynski]

Hi,

On Mon Jun 18, 2007 at 16:21:10 +0200, Daniel Vandersee wrote:
> how do you test L4 on an ARM platform? Do you have specific hardware for
> that purpose? You mentioned that you use ARM Integrator boards. As there
> are several integrator boards available: which one exactly do you use?
> Do you use other boards as well? I'm asking because I plan to buy an ARM
> board which is supported out of the box without the need to modify drivers.

I'm using Qemu with the integrator targets it offers. I could never test
on a real Integrator board.

> Do you additionally use software simulators to test L4? If so, which one
> do you use? I tried Skyeye to simulate an ARM integrator board as well
> as a SA1100-board but didn't get any output over the serial line. Qemu
> doesn't work either and terminates with the following error: "qemu:
> uncaught target signal 11 (Segmentation fault) - exiting".

Qemu works just fine for me and I cannot remember any crash of Qemu
itself when using it. I've never used skyeye (as Qemu always worked ok
for me).


Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/