oliver.horst at informatik.uni-augsburg.de
Wed Feb 29 10:11:06 CET 2012
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?
More information about the l4-hackers