Re: PowerPC 405
Gernot Heiser <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Organization | National ICT Australia |
| Message-ID | <[email protected]> |
>>>>> On Wed, 5 Jul 2006 01:01:44 +0200, "Javier Cabezas Rodríguez" <[email protected]> said: JCR> Hello all, JCR> I am working with a PPC 405 embedded device and I would like to have JCR> L4 running on it. However, the PowerPC cores supported in Pistachio JCR> are 603 and 750. I don't know if I could reuse some of the code or if JCR> I must start the implementation from scratch. What Pistachio areas, in JCR> your opinion, have to be reimplemented? We're working on a PPC 405 port, but it's a low-prio background activity. Gernot