Adding Zynq platform support to base-hw

[Johannes Schlatow]

Hey,

I just started adding support for the Zynq SoC to base-hw (see [1]).

As I don't have any Zynq hardware available yet, I tried running this
on QEMU 2.1.2; I compiled the run/hw_info target.

After applying some printf debugging ;), I figured out that the program
dies (i.e. QEMU freezes) during kernel initialisation
in init_virt_kernel(). I therefore tried attaching gdb to QEMU's
internal gdb server, however, it seems to ignore my breakpoints.

Hence my question: Do you guys have any experience with low-level/kernel
debugging on QEMU? Maybe I am missing something or QEMU is just weird?

[1]
https://github.com/ValiValpas/genode/commit/4e375384d635d06626f0b226ac14e21f608d717a

Cheers
 Johannes