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