adam at os.inf.tu-dresden.de
Mon Mar 5 22:12:36 CET 2012
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
More information about the l4-hackers