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
l4-hackers@os.inf.tu-dresden.de