PowerPC support

[Oliver Horst]

Hi Adam,

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?

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?

Best Regards
Oliver


[1] http://os.inf.tu-dresden.de/pipermail/l4-hackers/2011/004603.html