Adding Zynq platform support to base-hw

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/4e375384d635d06626f0b226ac14e21f...

Cheers Johannes