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