Hi Fiasco team,
I see in http://os.inf.tu-dresden.de/fiasco/wishlist.html that someone had the idea that porting plex86 to L4 would be useful. Incidently, I had a similar idea a couple of weeks ago, but I was more thinking about qemu, so I was wondering whether qemu had been considered here.
One major benefit I see is that qemu is a fast multi-architecture emulator (although only x86 support is complete for now, powerpc appears to be on good tracks), and would make it possible to run OS for arbitrary processors.
Interested people can check it a thttp://fabrice.bellard.free.fr/qemu/
Best regards,
l4-hackers@os.inf.tu-dresden.de