[okl4-developer] OKL4 on MIPS

[Carl van Schaik]

Hi Zhou,

OKL4 was based on the L4 pistachio source code base. The OKL4 source
however is under heavy development and as a result, not all previously
supported architectures have been maintained. That said, OKL4 currently
supports MIPS32 and MIPS64 however I don't think that support made it
into the last public release.

regards,
Carl

Zhou YaJin wrote:
> Hi, I am confused by the realeationship between L4 pistachio and OKL4.
> I have booted L4 pistachio using a simulator of BCM1250 of myown
> successfully some months ago. So that means L4 pistachio have already
> supported MIPS64. But in the public release OKL4, only arm is
> supported. But we know OKL4 is based on L4 pistachio(Correct me if I
> am wrong). My question is that why OKl4 can not support MIPS64 while
> L4pistachio does?
> ------------------------------------------------------------------------
>
> _______________________________________________
> Developer mailing list
> Developer at okl4.org
> https://lists.okl4.org/mailman/listinfo/developer
>