Fiasco at ARM - supported hardware

[Daniel Vandersee]

Hello,

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.

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".

Kind regards,
Daniel