[Qemu-devel] [patch v8 0/5] i.MX31 support

[Peter Chubb]

There are no major changes since last time, just rebased to current
tip now that  QEMU 1.2 is open.

For those who have come into the story late, this is a series of
patches to allow QEMU to emulate a Freescale i.MX31 on a Kyoto
Microsystems evaluation board.  It's pretty bare-bones, but runs Linux
and seL4 nicely.

-- 
Dr Peter Chubb                                  peter.chubb AT nicta.com.au
http://www.ssrg.nicta.com.au          Software Systems Research Group/NICTA