[Qemu-devel] [PATCH V3 0/4] i.MX31 and KZM board support

[Peter Chubb]

Changes since last patchset:
  * All files now under GPL version 2 or later (I've talked with
    OK-Labs and they've agreed).
  * `DPRINTF' like macro for printing out guest kernel and qemu
    implementation errors 
  * Fixed bugs in avic implementation, as found by PMM
  * Use a static initialiser and sysbus_register_withprop() instead of
    calls to sysbus_register() adn vmstate_register()
  * Fixed bugs in imx_timer.c as noted by PMM and Andreas

-- 
Dr Peter Chubb  http://www.gelato.unsw.edu.au  peterc AT gelato.unsw.edu.au
http://www.ertos.nicta.com.au           ERTOS within National ICT Australia