PowerPC support

[Oliver Horst]

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 
endeavor?

Best Regards
Oliver


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