PowerPC support

Oliver Horst oliver.horst at informatik.uni-augsburg.de
Wed Feb 29 10:11:06 CET 2012

Hi Adam,

I've read your reply to last year question about the PowerPC support of
Is there any progress to be noted on this topic?

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

Best Regards

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

More information about the l4-hackers mailing list