[okl4-developer] OKL4 on MIPS

[Zhou YaJin]

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?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.okl4.org/pipermail/developer/attachments/20070905/5ef90e90/attachment.htm