PowerPC support

Oliver Horst oliver.horst at informatik.uni-augsburg.de
Sun Mar 4 15:41:45 CET 2012

Hi Adam,

first of all, thanks for your reply!

 >> Is there any progress to be noted on this topic?
 > Unfortunately none.

Sad to know.

We'd like to utilize the FIASCO.OC micro-kernel on chips like the 
MPC5554, MPC5567, or P4080 by Freescale, which are all based on the 
PowerPC ISA. Especially of interest for us would be a port to the P4080 
with full virtualization support. Accordingly, I'm specifically 
interested in your opinion on the implementation complexity of such a 
port. Curiously, how many person months would you budget for such an 

Best Regards

On 01.03.2012 22:38, Adam Lackorzynski wrote:
> 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

Oliver Horst

Universität Augsburg
Institut für Informatik
Lehrstuhl für Kommunikationstechnik

Universitätsstraße 6a
86159 Augsburg

Telefon:  +49 (0)821/598-2402
E-Mail:   oliver.horst at informatik.uni-augsburg.de
Internet: http://www.informatik.uni-augsburg.de/lehrstuehle/lkt

More information about the l4-hackers mailing list