Re: PowerPC support
Oliver Horst <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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: [email protected] Internet: http://www.informatik.uni-augsburg.de/lehrstuehle/lkt