PowerPC support

Adam Lackorzynski adam at os.inf.tu-dresden.de
Thu Mar 1 22:38:49 CET 2012

Hi Oliver,

On Wed Feb 29, 2012 at 10:11:06 +0100, Oliver Horst wrote:
> I've read your reply to last year question about the PowerPC support of
> FIASCO [1].
> Is there any progress to be noted on this topic?

Unfortunately none.
> Further, I'd like to know which actual processor board you targeted the
> PowerPC
> port to and with that which PowerPC ISA version do you intend to support?

One is a 603e one, the other Qemu. At the current stage it probably does
not play a big role.

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list