PowerPC support

Adam Lackorzynski adam at os.inf.tu-dresden.de
Mon Mar 5 22:12:36 CET 2012

Hi Oliver,

On Sun Mar 04, 2012 at 15:41:45 +0100, Oliver Horst wrote:
> 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?

Interesting system. I think like a half dozen months for a simple
working version. Someone knowledgable in PPC ISA/architecture will do it
faster, likewise on the kernel. If both combined even more.

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list